20/09/19 09:29:01.60 +g3Gqta4.net
>＞では0.99999…=1を証明してくれ
>どの理論の上で？公理は？
連続性公理上なら>>165で証明済み。
20/09/19 09:29:01.60 +g3Gqta4.net
>＞では0.99999…=1を証明してくれ
>どの理論の上で？公理は？
連続性公理上なら>>165で証明済み。
20/09/19 09:29:01.60 +g3Gqta4.net
>＞では0.99999…=1を証明してくれ
>どの理論の上で？公理は？
連続性公理上なら>>165で証明済み。