ＵＦＴの論理的基礎が着々と進行しています

　ユニバース文とはＵＦＴで公開しているような「二つのクォーク文に割れるような命題」のことです。私が選んだのは次の二つ・・。

　①ユニバース命題マテリアル：「事物を数える最初の自然数は最小の自然数に己を足したものである」
　②ユニバース命題エンプティー：「平面上では平行線は任意の点で互いの垂線を共有する」

さて、ここからは

　１）１：「１は事物を数える最初の数」と、０：「０は任意の数から己を引いたもの」
　２）平面：「平面上では平行線角は直角」と、非平面：「平面上では平行線は直角でない」

この両者が出てきます。１）は一つの自然数体系の初期の二つの自然数の定義になっていて、２）はユークリッド性と非ユークリッド性の記述になっているのがワカルでしょう？

非平面の持つ“ある意味の平面性”を推し進めると一般相対性理論やゲージ場が出てきます！

　１の定義は『ｔクォーク文』だと、そしてまた０の定義は『ｂクォーク文』だと、それぞれ表現することが適切ではないかと思われました・・。だから、正に“それが言いたさ”で、それでここまで苦労して命名に工夫をしてきたワケですよ。

エンプティーは入れ物である宇宙空間に成立する二つの幾何学を表しておりマテリアルは宇宙開闢の際のクォークを表しています！

　また、多くの場合に０を空集合の記号を用いてφ、１を｛φ｝として定式化するのですが、ご承知の通りに私ことbuturikyouikuとしては反対です。例えばφを数字の一種とみたならばそのまま“非０にして正の無限小”を表すことができます。もっとも宇宙開闢としたら数字以前ですから「強いて言えば実数論でそのような意味を持つかもしれない存在」として空集合φを挙げておきます。φには数字のような性質が在ったとしたならば、

　０＝φ－φ

でしょ？

　１＝φ＋φ

の手形を落とすには　φ＝（｜０＞＋｜１＞）/√２　のような定義があればいいんです。φが１個存在するということは「無が１個」だけ存在するようなものだから「無を意味する０と最初の順序数である１とが半々」という定義は適切ではないでしょうか・・。

ふーっ、次には素領域｛φ｝が宇宙原子アトムだという話だが、

　このことにはラッセルの逆理をやっつける際に重要だった「φはⅡ類集合だからφ≠｛φ｝」という論理が役に立ちました。結局、今までのところ、趣味の数学や論理学のように自覚してやってきたことでも、何もかもがＵＦＴ建設の為に寄与しており、人間というのは無駄なことはしないものなのだなと我ながら感心しております。