For natural numbers you can form that first one in terms of the second one. Natural number can be through of as an inductive construction. Either: - Zero - 1

For natural numbers you can form that first one in terms of the second one. Natural number can be through of as an inductive construction. Either: - Zero - 1+ (another natural number)