- #1

- 1

- 0

## Main Question or Discussion Point

Hello.

I am working on a paper detailing Godel's Incompleteness Theorm and I came across this statement.

"An axiomatic base where all the axioms are true cannot prove anything to be false."

Is this correct?

I am working on a paper detailing Godel's Incompleteness Theorm and I came across this statement.

"An axiomatic base where all the axioms are true cannot prove anything to be false."

Is this correct?