ツェルメロ＝フレンケル公理が数学全体を構築する方法
ツェルメロ＝フレンケル公理は、集合論に厳密で矛盾のない基盤を提供します。これにより、ほぼすべての現代数学の構造化された発展が可能になり、コンピュータサイエンスにも影響を与えています。
ツェルメロ＝フレンケル公理（ZF）は集合論の基礎です。集合論は、他のほぼすべての数学概念を構築する数学言語です。エルンスト・ツェルメロが1908年に導入し、アブラハム・フレンケルが改良しました。これらの規則は、ラッセルのパラドックスのような矛盾を防ぎ、数学の一貫性を保証します。
続きはアプリでお読みいただけます。
アプリで続きを読む
あと2段落 · プラス3問のクイズ