Japanese フォン・ノイマン=ベルナイス=ゲーデル集合論 Cited by user Kabe-wall on 12 Dec 2022 数学基礎論において、フォン・ノイマン=ベルナイス=ゲーデル集合論 (NBG) とはツェルメロ=フレンケル=選択集合論 (ZFC)の保存拡大である公理的集合論である. NBGでは、量化子の範囲を集合に限定した論理式によって定義される集合の集まりとして、クラスの概念を導入する.
Indonesian Fungsi surjektif Cited by user Dedhert.Jr on 13 Oct 2022 Dalam matematika, fungsi surjektif (surjective function) atau dikenal sebagai fungsi pada (onto function) adalah sebuah fungsi.
German Nicolas Bourbaki Cited by user 17387349L8764 on 28 Mar 2022 Nicolas Bourbaki ist das kollektive Pseudonym einer Gruppe (Autorenkollektiv) vorwiegend französischer Mathematiker, die seit 1934 an einem vielbändigen Lehrbuch der…
Chinese 濫用符號 Cited by user HTinC23 on 05 Nov 2021 相似的概念是濫用語文()或濫用術語(),此時濫用的是詞語,而非符號。例如,「表示」的正式含義,是由某個群