宇宙の公理 第1公理 宇宙は存在する 第2公理 宇宙は空間と時間を有する 第3公理 空間は連続かつ無限である 第4公理 時間は連続かつ無限である 第5公理 空間も時間も均質であり特異点
宇宙の公理 第1公理 宇宙は存在する 第2公理 宇宙は空間と時間を有する 第3公理 空間は連続かつ無限である 第4公理 時間は連続かつ無限である 第5公理 空間も時間も均質
公理とは「仮定」のことです。 「仮定」とは「仮に定めたもの」です。 「仮に定めたもの」とは「仮に定義したもの」です。 「仮に定義すること」(公理)と「定義すること」(定義)は同じなのではないのでしょうか? 定義と公理
【ZFC】等しく無い集合に就いて【外延性公理】 外延性公理の定義をネットで調べて診ると、以下の2通りの定義が診受けられます。 ∀x ∀y ( ∀z ( z∈x ⇔ z∈y ) ⇒ x=y ) ... (1) ∀x
集合論における選択公理は,現行の表現のままでは, 循環論法的主張になってしまっているのではないでしょうか? つまり,それぞれの集合族について選択関数が選べると言っても, 選択関数は沢山あるから,1つ1つの集合族
【ZFC】置換公理の定義の統合【置換公理】 ZFC公理系の置換公理に就いての質問です。 ZFCの公理を見渡すと、置換公理と、分出公理は、複数のパラメタを取る事が知られて(しかも、分出公理は置換公理に拠って導く事が出来
お世話になります。 「Q&A数学基礎論入門」(久間栄道 著)を読んでいたら次のようにありました。 無限公理と分出公理があれば空集合の公理は必要ないので,現在では空集合の公理を省いてある体系もある。具体的には{x∈ω'