14/03/19 22:55:27.08
ごめん>>640へのレスのつもりだった
完全性定理はill-posedか
→意味が分からない
→選択公理が要ったり、少なくとも算術を必要とする
という文脈で、算術が言ったってill-posedだとは言えないだろう、
というつもりのレスでした。
14/03/19 22:55:27.08
ごめん>>640へのレスのつもりだった
完全性定理はill-posedか
→意味が分からない
→選択公理が要ったり、少なくとも算術を必要とする
という文脈で、算術が言ったってill-posedだとは言えないだろう、
というつもりのレスでした。