natarajanda·5 ปีที่แล้ว·discussGodel's incompleteness theorem shows that it's possible for any axiomatic system (like mathematics) to have statements that are true but unproveable.