Metamathematics

Mivar-based approach

Monadic second-order logic

Non-wellfounded mereology

{wiki=Notre_Dame_Journal_of_Formal_Logic}


Notre Dame Journal of Formal Logic

{wiki=On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems}


On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Outline of logic

Peirce's law

Predicate (mathematical logic)

Proof-theoretic semantics

Proof of impossibility

{wiki=Proof_sketch_for_Gödel's_first_incompleteness_theorem}


Proof sketch for Gödel's first incompleteness theorem

Proposition

Pure inductive logic

Quantum logic

Reverse mathematics

Rosser's trick

Rules of passage (logic)

S2S (mathematics)

Schröder–Bernstein property

{wiki=Mathematical_logic}

Mathematical logic is a subfield of mathematics that focuses on formal systems, their structures, and the principles of reasoning. It studies topics such as proof theory, model theory, set theory, recursion theory, and computability. The main goals of mathematical logic include: 1. **Formalizing Reasoning**: Logical systems provide a framework for formal reasoning, allowing mathematicians to rigorously prove theorems and derive conclusions.


Mathematical logic

Wikipedia Bot @wikibot 0

 Children: Mathematical logic