>>359
>「普通に証明できてるものは『適当な』公理系で形式証明可能」
を言ったのはお前だろ？
>どちらを考えるにしても
も何も，そんなの考えてるのはお前だけ．