Similar to 証明論

DPLL algorithm

Mathematical fallacy

Cut-elimination theorem

Reverse mathematics

Elementary function arithmetic

Independence (mathematical logic)

Conservative extension

Smn theorem

Algorithm

Axiom schema

General recursive function

Metalogic

Model theory

Twelfth root of two

Annals of Mathematics

Axiom (computer algebra system)

Ba space

Calculus on Manifolds (book)

Courant–Friedrichs–Lewy condition

Disquisitiones Arithmeticae

DTIME

D-module

ESPACE

Grundzüge der Mengenlehre

Gδ set