Similar to クリプキ意味論
循環定義
Circular definition
循環報告
Circular reporting
循環論法
Circular reasoning
消去法
Process of elimination
真理
Truth
存在グラフ
Existential graph
名指しと必然性
Naming and Necessity
名前
Name
パラドックス
Paradox
ヒュームの法則
Is–ought problem
量化
論理哲学
Philosophy of logic
論理定項
Logical constant
論理的帰結
Logical consequence
論理的真理
Logical truth論理哲学論考
Tractatus Logico-Philosophicus
モデル理論
Model theory
埋め込み (数学)
Embeddingコンパクト性定理
Compactness theorem
算術の超準モデル
Non-standard model of arithmetic
指数体
Exponential field
指数閉体
順序指数体
Ordered exponential field初等同値性
Elementary equivalence
真の算術
True arithmetic
制御されたデジタル貸出
Controlled digital lending
生存可能システムモデル
Viable system model
超積
Ultraproduct
