>>333
あれ？今、数学のことを話てるんだよね。
数学で「適当な」というだけで、定義が
なければ、それはまだ意見でしょ。もち
ろん、今後、定義がなされて定理になる
可能性を秘めた意見もある。でも、

＞普通に証明できてる定理は、『適当な』公理系で形式主義的に
＞証明可能

なんての、上手く定理に出来るもんかね？