Thus there will always be at least one true but unprovable statement.
Bu yüzden, her zaman en az bir tane doğru olan fakat ispatlanamayan önerme vardır.