In any consistent formal system that can express basic arithmetic, there exists a statement G that says 'I am not provable in this system.' Is G true?
Quick Answer & Explanation
Yes, G is true
The answer to this riddle is Yes, G is true. Difficulty: Hard · Solved by 14,786 puzzle lovers.