The Aristotelian comprehension schema, represented as (∃x)Φ → (∃Y)(∀x)(Yx ↔ Φ) in…
Sign in to your account
Remember me
