| 31. | I don't understand where boundaries for arithmetic of natural numbers lay.
|
| 32. | Second-order arithmetic directly formalizes natural numbers and sets of natural numbers.
|
| 33. | Church numerals are the representations of natural numbers under Church encoding.
|
| 34. | But this is impossible in the set of natural numbers.
|
| 35. | Longer line segments are used for integers and natural numbers.
|
| 36. | PRA cannot explicitly quantify over the domain of natural numbers.
|
| 37. | Thus the set of the first ten natural numbers is.
|
| 38. | Rational numbers are constructed by the division of natural numbers.
|
| 39. | The integers form the smallest ring containing the natural numbers.
|
| 40. | Let & fnof; be a function on the natural numbers.
|
