Similar to ラショーヴァ=シコルスキの補題
Δ-システム補題
Sunflower (mathematics)▲1 trendsZFCから独立な命題の一覧
List of statements independent of ZFCΩ-論理
Ω-logicアロンシャイン木
Aronszajn tree▲1 trendsテューキーの補題
Teichmüller–Tukey lemmaフォドアの補題
Fodor's lemmaモストフスキ崩壊補題
Mostowski collapse lemmaGrundzüge der Mengenlehre
Grundzüge der Mengenlehre5項補題
Five lemma9項補題
Nine lemmaアルティン・リースの補題
Artin–Rees lemmaAnnals of Mathematics
Annals of MathematicsAxiom (数式処理システム)
Axiom (computer algebra system)0
01
1▲7 trends2
23
34
45
56
67
78
89
912345679
代替集合論
List of alternative set theories集合論
Set theory非有基的集合論
Non-well-founded set theoryTemplate:集合論
Template:Set theory