Category:数理論理学

Algorithm

Boolean algebra (structure)

Gödel's incompleteness theorems

First-order logic

Predicate logic

Linear logic

Paraconsistent logic

Logic programming

Primitive recursive function

Sequent calculus

Propositional function

Tautology (logic)

Conjunctive normal form

Classical logic

Metamathematics

Transitive relation

Axiom schema of replacement

Type theory

Goodstein's theorem

Infinity

Computability theory

Vacuous truth

General recursive function

Foundations of mathematics

Fixed-point combinator

Proof theory

Existential quantification

Truth function