18/01/01 19:26:52.13 ULqkY3CW.net
>>438
＞＞あくまでメタ視点での話なので公理云々に執着するのには意味がない
言ってる意味が分かりません
数学基礎論におけるメタ証明の中でツォルンの補題を使うこと云々に執着するのは意味が無いんですか？なぜですか？
しかもツォルンの補題を使うっていうことはメタな立場で直観的な(？)集合概念までをも使ってるじゃないですか
＞＞数理論理は、あくまでも形式化を目的としていて厳密化することはできないのだ
言ってる意味が分かりません
異論を差し挟む余地の無い数学基礎論(有限の立場での議論？)という土台を作ってその上に個別の数学理論を展開出来るようにすることは出来ないんですか？
＞＞自然言語は明らかに形式的言語を用いていませんから、形式化されていません
私が>>437でいってることは見た目上の違いっていう視点からのものです
個々の各数学理論でω無矛盾や数値別表現可能性(みたいなもの)が問題になっているんですか？
ω無矛盾や数値別表現可能性ってメタと対象の違いに着目した概念じゃないんですか？