>>242 続き

ほんと、ご苦労さまとしか言いようがない

「無限とは何か？」：それが、哲学の議題として、いろいろ議論される。それは貴重なことでしょう。全く否定するつもりはない。実無現と可能無限の区別。面白い考察だと。否定はしない。だが、”実無現””可能無限”は現代数学の用語ではないということも、教養として知っておかないといけないと思う

つまり、”実無現””可能無限”は、ＺＦＣの公理系では不要だと