Similar to モデル理論
Cpio
Cpio
C++
C++
Darwin Information Typing Architecture
Darwin Information Typing Architecture
数理論理学
Mathematical logic
DPLLアルゴリズム
DPLL algorithm
Smn定理
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
ZFCから独立な命題の一覧
List of statements independent of ZFC
Ω無矛盾
Ω-consistent theoryコンパクト性定理
Compactness theorem
Annals of Mathematics
Annals of Mathematics
CFL条件
Courant–Friedrichs–Lewy condition
アックス–グロタンディークの定理
Ax–Grothendieck theorem
1
1
2
2
3
3
