Similar to カット除去定理

Boolean domain

Fixed-point combinator

Substructural logic

Burali-Forti paradox

Presburger arithmetic

Logic level

Concurrent constraint logic programming

Concurrent logic programming

Variable (mathematics)

Martin's axiom

Infinity

Infinitary logic

Paraconsistent logic

Propositional function

Metatheory

Metalogic

Model theory

Finitary

Lambda calculus

Conjunctive normal form

Rosser's trick

Logical formula

Logic programming

Deduction theorem

Cantor's theorem

Kleene's recursion theorem

Kőnig's theorem (set theory)

Compactness theorem