All public logs
Jump to navigation
Jump to search
Combined display of all available logs of Apeirology Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 13:58, 31 August 2023 RhubarbJayde talk contribs created page 1 (Created page with "1 is the next natural number after 0. In the system of Von Neumann ordinals and Zermelo's formalization of the natural numbers, it is represented by the set \(0+1 = \{\{\}\}\), while in the logical formalization of natural numbers it is identified with the proper class of singletons. Also, as a Church numeral, it is identified with the lambda calculus expression \(\lambda f. \lambda x. f(x)\). 1 is the least Additive...") Tag: Visual edit