>>189
不完全性定理はいかなる手段を用いても公理系の無矛盾性を証明できないことは主張してないけど