Similar to タルスキの定義不可能性定理

Reverse mathematics

Absorption law

Forcing (mathematics)

Domain of discourse

Vacuous truth

Computable function

Computability theory

Formal system

Laws of Form

Gödel numbering

Game semantics

Decidability (logic)

Primitive recursive function

Atomic formula

Higher-order logic

Rewriting

Successor function

Tautology (logic)

Formation rule

Structuralism (philosophy of mathematics)

Structural induction

Axiom schema

Confluence (abstract rewriting)

Classical logic

Recursion

Recursive definition

Sequent calculus