>＞ 実際に、自分の勉強した理論で、記号の有限系列で表現したもののノートを持っているもの...
>小さな理論なら可能でも、それが大きな体系で可能とはならないのです。

小さな理論ではなく、ZFCのモデルが作れるような大きな理論だ。
この理論は記号の有限系列で表現できる。
現実にできるということは、事実としてできるということである。

＞置き換えられるのは"議論”の方です

「無限小は極限でおきかえられる」こう述べて失敗したのはあなただ。
それはいまさら言い逃れできない。

＞＞ 私には文系の学問や医学のような権威主義は通用しない。
＞堂々たるものですな。

お褒めに預かり恐縮です。