Similar to メレオロジー
内包
ZFCから独立な命題の一覧
List of statements independent of ZFC
Ω-論理
Ω-logic
アロンシャイン木
Aronszajn tree▲1 trends
宇宙 (数学)
Universe (mathematics)
完全関係
Connected relation
グッドスタインの定理
Goodstein's theorem
推移関係
Transitive relation
対称関係
Symmetric relation
Δ-システム補題
Sunflower (mathematics)▲1 trends
反射関係
Reflexive relation
Grundzüge der Mengenlehre
Grundzüge der Mengenlehre
述語論理
Predicate logic一階述語論理
First-order logic原子論理式
Atomic formula
高階述語論理
Higher-order logic
二階述語論理
Second-order logic
フーリエ・モツキンの消去法
Fourier–Motzkin elimination
命題関数
Propositional function
量化
論理式 (数学)
Logical formula
砂山のパラドックス
Sorites paradox
タルスキの定義不可能性定理
Tarski's undefinability theorem
シニフィアン
シニフィアンとシニフィエ
Signified and signifier
シニフィエ
使用と言及の区別
Use–mention distinction
アポステリオリな必然性
A posteriori necessity