Correct use of Axiom Schema of Comprehension

Printable View