File:NotZFC.jpg

Click on a date/time to view the file as it appeared at that time.

	Date/Time	Thumbnail	Dimensions	User	Comment
current	16:49, 23 April 2017		300 × 300 (17 KB)	HumblePi (talk | contribs)	To be used with the NotZFC template.

The following 45 pages use this file:

• Axiom of Foundation (Strong Form)
• Axiom of Foundation (Strong Form)/Proof 1
• Axiom of Foundation (Strong Form)/Proof 2
• Bounded Rank implies Small Class
• Cartesian Product with Proper Class is Proper Class
• Class Equality is Reflexive
• Class Equality is Symmetric
• Class Equality is Transitive
• Class is Proper iff Bijection from Class to Proper Class
• Class is Proper iff Bijection from Class to Proper Class/Corollary
• Class of All Ordinals is Ordinal
• Condition for Injective Mapping on Ordinals
• Element of Transitive Class
• Epsilon Induction
• Epsilon Relation is Proper
• Epsilon Relation is Strictly Well-Founded
• If Set Exists then Empty Set Exists
• Image of Set under Mapping is Set
• Image of Small Class under Mapping is Small
• Injection from Proper Class to Class
• Intersection of Class and Set is Set
• Membership Rank Inequality
• No Membership Loops
• Non-Empty Class has Element of Least Rank
• Nonempty Class has Members
• Order Isomorphism between Ordinals and Proper Class
• Ordinal Equal to Rank
• Ordinal is Subset of Rank of Small Class iff Not in Von Neumann Hierarchy
• Rank is Ordinal
• Rank of Ordinal
• Rank of Set Determined by Members
• Set Difference is Set
• Set has Rank
• Set has Rank/Proof 2
• Strictly Increasing Mapping on Well-Ordered Class
• Strictly Well-Founded Relation determines Strictly Minimal Elements
• Strictly Well-Founded Relation determines Strictly Minimal Elements/Lemma
• Transfinite Induction/Principle 1
• Transfinite Induction/Principle 2
• Transitive Set Contained in Von Neumann Hierarchy Level
• Universal Class is Proper
• Universal Class is Proper/Proof 2
• Von Neumann Hierarchy Comparison
• Von Neumann Hierarchy is Supertransitive
• Template:NotZFC