Similar to ハイティング代数
アトランティス7つの海底都市
Warlords of Atlantis
アトランティックジャイアント
Giant pumpkin
構成主義 (数学)
Constructivism (philosophy of mathematics)
原始帰納的算術
Primitive recursive arithmetic
実現可能性 (論理学)
Realizability
直観主義型理論
Intuitionistic type theory
完備束
Complete lattice
束 (束論)
Lattice (order)
Tonnetz
Tonnetz可補束
Complemented lattice
ブール素イデアル定理
Boolean prime ideal theorem
結びと交わり
Join and meetヤング束
Young's lattice
有限加法族
Field of sets
リース空間
Riesz space
半束
Semilattice
Template:Mathlogic-stub
Template:Mathlogic-stub
裏 (論理学)
Inverse (logic)
緩成長階層
Slow-growing hierarchy
逆
Converse (logic)
逆含意
Converse implication
形式論理学
Formal logic
シュタイニッツ数
Supernatural number
ショアのアルゴリズム
Shor's algorithm
証明 (数学)
Mathematical proof
新基礎集合論
New Foundations
推論
Inference
スーダン関数
Sudan function