Catalan Stanisław Świerczkowski Cited by user Ferran Mir on 02 Jan 2024 va ser un matemàtic i filòsof polonès.
Catalan Teorema de De Bruijn–Erdős (teoria de grafs) Cited by user Jaumellecha on 01 Jan 2024 En teoria de grafs, el teorema de De Bruijn–Erdős relaciona la coloració de grafs d'un graf infinit amb el mateix problema dels seus subgrafs finits.
Japanese 決定性公理 Cited by user 223.135.31.164 on 20 Feb 2023 決定性公理(けっていせいこうり、、AD と略される)とは、1962年に、によって提案された集合論の公理である. もとの決定性公理はゲーム理論に言及し、可算無限の長さをもったある特定の二人について(後述)、どちらかのプレイヤーは必ず必勝法を持つことを主張する.
Japanese フォン・ノイマン=ベルナイス=ゲーデル集合論 Cited by user Kabe-wall on 12 Dec 2022 数学基礎論において、フォン・ノイマン=ベルナイス=ゲーデル集合論 (NBG) とはツェルメロ=フレンケル=選択集合論 (ZFC)の保存拡大である公理的集合論である. NBGでは、量化子の範囲を集合に限定した論理式によって定義される集合の集まりとして、クラスの概念を導入する.