Gödel I — Prove that any consistent system able to express arithmetic contains a true statement that it cannot prove
Type your answer and press enter.
YES
NO