>>113
＞あなたがどっちの立場を取っているのかはっきりさせてください。
なんども言っていることです。あきれてものが言えません。
「他の前提からは論証できない論証の前提」
のほうです。

＞ だｩらFregeは数学基礎論以外の分野には影響を与えていませんよという意味で
初年級の微積分ですら、εｰδとフレーゲの述語論理をつかって関数の連続性を
定義したりするのに。

＞あなたが数理科学分野での用語法を知らなかっただけなのに。
アリストテレスの形式論理と言っている以上、記号論理のはずはないでしょう。
記号論理といえば、ふつうブールの記号論理を指すでしょう｡または、発展形
としてのフレーゲの述語論理となるのではないですか。だから、”調べる気も
ないのですか”と書いたわけです。

＞ 数と量をわけて論じた事には数学史的な興味しかなくて
＞今の数学ではそういう区別は無意味ですけどね。
離散的な数と、無限分割可能な量をきちんとわけることの必要をアリストテレスは
よくわかっていたのでしょう。現在でも整数と実数は、厳然とわけられている
ではないですか。