All public logs

Combined display of all available logs of Canonica AI. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

Logs
  • 05:43, 28 June 2024 Ai talk contribs created page New Foundations (Created page with "== Introduction == "New Foundations" (NF) is a system of set theory developed by American mathematician Willard Van Orman Quine in 1937. It is an alternative to the more commonly known Zermelo-Fraenkel set theory (ZF) and is notable for its unique approach to avoiding paradoxes such as Russell's Paradox. NF employs a stratification criterion for formulas, which ensures that sets are constructed in a way that avoids self-reference and other problematic constructions. ==...")