Thus there will always be at least one true but unprovable statement.
Έτσι, θα υπάρχει πάντα μια αληθής αλλά μη-αποδείξιμη πρόταση.