>>243
>”実無現””可能無限”は、ＺＦＣの公理系では不要

ＺＦ（Ｃ）には無限公理があるので、”実無限”の立場です
”可能無限”の立場とは、無限公理の否定を公理として追加した集合論になります

>>244
>”微分積分、微分方程式、複素関数論の留数定理、ラブラス変換、フーリエ変換など”

どれもこれも実数が必要です
実数を定義するには無限集合が必要です

つまり実数を認めるには、実無限の立場に立つしかありません

ついでにいうと「ラブ（ｂ）ラス」じゃなく「ラプ（ｐ）ラス」

>私は、無益な神学論争には参加しませんと（＾＾

では、「箱入り無数目」論争にも参加しないほうがいいですよ

数学科以外のその他一般人には「無益な神学論争」ですから

物理学その他の自然科学ではバナッハ・タルスキの逆理は何ら問題ではないでしょ
（数学でも別に問題ではないけど）