Similar to モデル理論

AOL

AST/ALT ratio

B

Base erosion and profit shifting

BibTeX

Brilliant (website)

CLIÉ

Mathematical logic

DPLL algorithm

Smn theorem

Algorithm

Universe (mathematics)

Back-and-forth method

Axiom schema

Proof theory

Elementary equivalence

Foundations of mathematics

Definable set

Burali-Forti paradox

Conservative extension

General recursive function

Metalogic

Finite model theory

List of statements independent of ZFC

Ω-consistent theory

Compactness theorem

LaTeX

Wolfram Mathematica