Similar to ラショーヴァ=シコルスキの補題
Δ-システム補題
Sunflower (mathematics)▲1 trendsZFCから独立な命題の一覧
List of statements independent of ZFCテューキーの補題
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)CFL条件
Courant–Friedrichs–Lewy condition0
0▲1 trends1
12
23
34
45
56
67
78
89
912345679
代替集合論
List of alternative set theories集合論
Set theory非有基的集合論
Non-well-founded set theoryTemplate:集合論
Template:Set theory外延
Extension (semantics)