Search results
Jump to navigation
Jump to search
- {{Short description|System of mathematical set theory}} {{DISPLAYTITLE:<b style="font-family:sans-serif">S</b> (set theory)}} ...9 KB (1,415 words) - 13:56, 27 December 2024
- ...eneralization of [[set theory]], which allows only a limited consideration of classes. ...class term, which formally correctly describes classes through a property of their elements. Today the class term is denoted in the form {x|A(x)}, where ...6 KB (911 words) - 19:00, 29 December 2024
- {{wiktionary|Appendix:Glossary of set theory}} This is a glossary of terms and definitions related to the topic of [[set theory]]. ...90 KB (13,951 words) - 23:05, 2 December 2024
- ...antics]] for defined expressions, and formal proof systems study the logic of circular expressions. ...l]] and philosophical logic. It has been used to provide circular analyses of philosophical and logical concepts. ...39 KB (6,383 words) - 22:14, 21 February 2025
- {{see also|List of logicians}} {{wiktionary|Appendix:Glossary of logic}} ...270 KB (38,241 words) - 06:11, 6 January 2025