Similar to グッドスタインの定理

Concurrent constraint logic programming

Concurrent logic programming

Variable (mathematics)

Conservative extension

Martin's axiom

Infinity

Infinitary logic

Paraconsistent logic

Propositional function

Metatheory

Metalogic

Model theory

Finitary

Finite model theory

Lambda calculus

Conjunctive normal form

Rosser's trick

Logical formula

Logic programming

Independence (mathematical logic)

Deduction theorem

Gödel's speed-up theorem

Compactness theorem

Church–Rosser theorem

Frege's theorem

Schröder–Bernstein theorem

Post's theorem

Rice's theorem