Similar to 議論領域

Formal logic

Supernatural number

Shor's algorithm

Mathematical proof

New Foundations

Inference

Sudan function

Tee (symbol)

Church–Rosser theorem

Intermediate logic

Low basis theorem

Dyck language

Double recursion

Arbitrariness

Proof by contradiction

Counterexample

Lemma (mathematics)

Consistency

Metalanguage

Four-valued logic

Quantum logic

Lusin's separation theorem

Mathematical logic

Special case

Universe (mathematics)

Herbrand's theorem