I.P35 — No Unrestricted Comprehension

No unrestricted comprehension: tau-sets are bounded powersets (divisor sets), not arbitrary collections. The set {x : x divides n} is always finite, blocking Russell-type diagonal constructions.