Open main menu

Wikipedia β


Mathematical logic

121 bytes added, 4 months ago
Subfields and scope
The mathematical field of [[category theory]] uses many formal axiomatic methods, and includes the study of [[categorical logic]], but category theory is not ordinarily considered a subfield of mathematical logic. Because of its applicability in diverse fields of mathematics, mathematicians including [[Saunders Mac Lane]] have proposed category theory as a foundational system for mathematics, independent of set theory. These foundations use [[topos]]es, which resemble generalized models of set theory that may employ classical or nonclassical logic.
htb yt tujtun jtk gjhkyuiyui صuy i trttr tytu yuiuk ilio uloutk rt<ref>tyu u ruy i uk<ref>yui uiokuitolu r</ref></ref>
Anonymous user