>>594 そうだね。なかなか詳しいじゃないか!
証明できないことはゲーテルの不完全性定理からきてるのかな?