All public logs

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:54, 31 August 2023 RhubarbJayde talk contribs created page Empty set (Created page with "The empty set is a set with no elements. Its existence can be proven in Kripke-Platek set theory, even without collection, by applying \(\Delta_0\)-separation with a contradictory formula to an infinite set. The existence of an empty set may seem paradoxical to a beginner to set theory, yet it does not pose any definitional issues and is useful. In particular, the empty set is used in the Von Neumann ordinal system, in which it encodes the number 0. Also,...") Tag: Visual edit