19/04/07 12:13:48.40 vEqUlseq.net
>>505たとえば点は無定義語だけど
＞何かしらの言語を入力するだろ
＞それが偽の命題だと言っている
＞無限小の話なんてどうでもよい
数学では集合の元は点で表現される
ようするに
全数学は点の上部構造
ってことだ
（ｂｙ ブリバキ）
意味のない無定義語の点を集合の元としえるのが
現代数学の公理的集合論だ
19/04/07 12:13:48.40 vEqUlseq.net
>>505たとえば点は無定義語だけど
＞何かしらの言語を入力するだろ
＞それが偽の命題だと言っている
＞無限小の話なんてどうでもよい
数学では集合の元は点で表現される
ようするに
全数学は点の上部構造
ってことだ
（ｂｙ ブリバキ）
意味のない無定義語の点を集合の元としえるのが
現代数学の公理的集合論だ