- #1

- 208

- 20

## Main Question or Discussion Point

Hello PF,

I was watching this video

and around 8:00 the speaker says that the statement that cannot be proven by the axioms is supposed first as false which would make it provable by the axioms, "which would make it true since it was proven". However, the proof can be a proof that the statement is false so that would not make the contradiction.

I think this is some kind of mind twister that I cannot get over.

Thanks!

I was watching this video

and around 8:00 the speaker says that the statement that cannot be proven by the axioms is supposed first as false which would make it provable by the axioms, "which would make it true since it was proven". However, the proof can be a proof that the statement is false so that would not make the contradiction.

I think this is some kind of mind twister that I cannot get over.

Thanks!