|
|
|
|
|
|
by pmb
5148 days ago
|
|
|
The statement "this fact is not provably true under the axioms of mathematics" is not provably true under the axioms of mathematics. Therefore, it is true, but we can never prove it. I recommend approaching this via uncomputability, and the fact that for every program there is a proof and vice versa. |
|
|