Pages that link to "Substitutivity of Equality"
Jump to navigation
Jump to search
The following pages link to Substitutivity of Equality:
Displayed 13 items.
- Equality implies Substitution (← links)
- Singleton Equality (← links)
- Ordinal Addition by Zero (← links)
- Membership is Left Compatible with Ordinal Addition (← links)
- Subset is Right Compatible with Ordinal Addition (← links)
- Equality of Successors (← links)
- Infinite Ordinal can be expressed Uniquely as Sum of Limit Ordinal plus Finite Ordinal (← links)
- Ordinal Multiplication is Closed (← links)
- Uniqueness Condition for Relation Value (← links)
- Cofinal Limit Ordinals (← links)
- User:Ascii/Theorems (← links)
- Axiom talk:Leibniz's Law (← links)
- Book:Gaisi Takeuti/Introduction to Axiomatic Set Theory (← links)