Similar to テューキーの補題
Δ-システム補題
Sunflower (mathematics)▲1 trends
ガロア接続
Galois connection
ZFCから独立な命題の一覧
List of statements independent of ZFC
オイラー図
Euler diagram
カントール集合
Cantor set
カントールの対角線論法
Cantor's diagonal argument
カントールの定理
Cantor's theorem
グッドスタインの定理
Goodstein's theoremフォドアの補題
Fodor's lemma
モストフスキ崩壊補題
Mostowski collapse lemmaラショーヴァ＝シコルスキの補題
Rasiowa–Sikorski lemma
Grundzüge der Mengenlehre
Grundzüge der Mengenlehre
ケーニヒの定理 (集合論)
Kőnig's theorem (set theory)
ケーニヒの補題
Kőnig's lemma
ツォルンの補題
Zorn's lemma
5項補題
Five lemma9項補題
Nine lemmaアルティン・リースの補題
Artin–Rees lemma
伊藤の補題
Itô's lemma岡の補題
Oka's lemmaオズグットの補題
Osgood's lemmaクロネッカーの補題
Kronecker's lemma
シューアの補題
Schur's lemma
シュワルツの補題
Schwarz lemma
1の分割
Partition of unity
Axiom (数式処理システム)
Axiom (computer algebra system)Brilliant.org
Brilliant (website)Annales de Gergonne
Annales de Gergonne