File:NotZFC.jpg
Jump to navigation
Jump to search
NotZFC.jpg (300 × 300 pixels, file size: 17 KB, MIME type: image/jpeg)
To be used with the NotZFC template.
File history
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. |
You cannot overwrite this file.
File usage
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