| 41. | Longer line segments are used for integers and natural numbers.
|
| 42. | But this is impossible in the set of natural numbers.
|
| 43. | PRA cannot explicitly quantify over the domain of natural numbers.
|
| 44. | Consider again the two equivalent structures for natural numbers.
|
| 45. | The natural numbers form a subset of the integers.
|
| 46. | Thus the below must simply denote a natural number.
|
| 47. | The natural numbers are thus ordinals by this definition.
|
| 48. | The digits are natural numbers between 0 and, inclusive.
|
| 49. | Natural numbers work well for representing everyday countable objects.
|
| 50. | Naturally, this 2-adic integer has no corresponding natural number.
|
