Category:Natural Number m is Less than n implies n is not Greater than Successor of n
Jump to navigation
Jump to search
Pages in category "Natural Number m is Less than n implies n is not Greater than Successor of n"
The following 3 pages are in this category, out of 3 total.
N
- Natural Number m is Less than n implies n is not Greater than Successor of n
- Natural Number m is Less than n implies n is not Greater than Successor of n/Proof using Naturally Ordered Semigroup
- Natural Number m is Less than n implies n is not Greater than Successor of n/Proof using Von Neumann Construction