Similar to フーリエ・モツキンの消去法

Fixed-point combinator

Substructural logic

Burali-Forti paradox

Principia Mathematica

Presburger arithmetic

Logic level

Concurrent constraint logic programming

Concurrent logic programming

Variable (mathematics)

Conservative extension

Martin's axiom

Infinity

Infinitary logic

Paraconsistent logic

Metatheory

Metalogic

Model theory

Finitary

Finite model theory

Lambda calculus

Löb's theorem

Conjunctive normal form

Rosser's trick

Logic programming

Einstein's constant

Artinian module