Japanese ツェルメロ集合論 Cited by user Kabe-wall on 09 Nov 2023 ツェルメロ集合論(、時々 Z- と表記される)とは、1908年にエルンスト・ツェルメロの影響力のある論文から始まった、現代のツェルメロ=フレンケル集合論(ZF)やその拡張であるフォン・ノイマン=ベルナイス=ゲーデル集合論(NBG)などの始祖である.
Turkish Küme Cited by user Albatu 02 on 06 Jun 2023 Küme, matematiksel anlamda tanımsız bir kavramdır. Bu kavram "nesneler topluluğu veya yığını" olarak yorumlanmaktadır.
Serbian Георг Кантор Cited by user Dcirovic on 04 Jan 2023 Георг Кантор био је немачки математичар и утемељивач теорије скупова.
Japanese フォン・ノイマン=ベルナイス=ゲーデル集合論 Cited by user Kabe-wall on 12 Dec 2022 数学基礎論において、フォン・ノイマン=ベルナイス=ゲーデル集合論 (NBG) とはツェルメロ=フレンケル=選択集合論 (ZFC)の保存拡大である公理的集合論である. NBGでは、量化子の範囲を集合に限定した論理式によって定義される集合の集まりとして、クラスの概念を導入する.