では試しに儂も変哲学者調に語るとしますか。｢公理系｣を｢の国｣で代用してww

1＝0.9dot｢の国｣では1≠0.9dotは間違い。

逆に1−0.9dot｢の国｣で1＝0.9dotは間違い。

グローバルに逝くと1と0.9dotとが＝であるか≠であるかは場合々々で使い分ける。

あれ？実際、そうだったわww