>>38
不完全性定理以前であっても、独立であるが故に真偽が定まらない命題があることは分かってたんだよね。