Pages that link to "Equality of Successors"

What links here

Page:  Namespace:  all (Main) Talk User User talk ProofWiki ProofWiki talk File File talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Axiom Axiom talk Definition Definition talk Symbols Symbols talk Mathematician Mathematician talk Book Book talk Module Module talk  Invert selection

Filters

Hide transclusions | Hide links | Hide redirects

The following pages link to Equality of Successors:

Displayed 6 items.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

• Ordinal Subtraction when Possible is Unique ‎ (← links)
• Finite Ordinal Plus Transfinite Ordinal ‎ (← links)
• Ordinal Addition is Associative ‎ (← links)
• Subset is Compatible with Ordinal Successor/Proof 3 ‎ (← links)
• Subset is Compatible with Ordinal Successor/Proof 1 ‎ (← links)
• Subset is Compatible with Ordinal Successor ‎ (← links)

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)