>>594
それは、メタ定理が証明できなくなるということで、
数学の定理が証明できなくなるということとは違うよね。