ウィキペディアの「0.999...」の項が話題になったことがあるが、これって形式体系としてはどうなるんだろう? 実数の形式体系というのを、「Xi」という変項と「ai」という定項だけを使って定義するなら問題はない。でも、その形式体系は、「0.999...」に相当…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。