>>623で、「数学のモデルとして、>>559-560に示したモデルと>>562のあなたのとは、並立可能なのか？」と問うた

「数学基礎論」の示すところ、無限を扱うとき、公理系の選び方で、「特定の公理系では証明も反証もできない問題が数多く見いだされた」という（例えば下記）
だから、並立可能なのかも知れない。が、反論はあなたの番だよ。
>>559-560に示したモデルを（数学的に）否定するか、>>562を守るか、別の有限モデルからの極限として時枝解法を示すか
数学的には、３択問題と思うがどうよ

https://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E5%9F%BA%E7%A4%8E%E8%AB%96
数学基礎論
ヒルベルトは、数学を記号によるゲームとみなして無矛盾性を証明する形式主義によるヒルベルト・プログラムを提唱したが、ゲーデルの不完全性定理によって、その実現の不可能性が示された。
また、数論を展開するのに十分な体系に見えるペアノの公理系では証明できないグッドスタインの定理など、特定の公理系では証明も反証もできない問題が数多く見いだされた。

https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%83%E3%83%89%E3%82%B9%E3%82%BF%E3%82%A4%E3%83%B3%E3%81%AE%E5%AE%9A%E7%90%86
グッドスタインの定理（グッドスタインのていり、Goodstein's theorem）は、数理論理学における自然数に関する命題であり、「全てのグッドスタイン数列は必ず0で終わる」という主張。
ペアノ算術の範囲では証明も否定の証明もできないが、集合論の公理系、特に無限集合の公理を用いると真であることが言える。
たとえばゲーデルの不完全性定理から導かれる決定不能な命題などは、いかにも不自然だったり人工的に見えたりする場合があるのに対し、この定理は「自然な」決定不能命題の例として知られる。
(抜粋引用おわり)