どんな特定の数学問題も、確かに厳密に解決されるに違いない。ただし、それに対して解答を導くことができる、という普通の意味においてか、あるいは、それを解くことの不可能性が確かめられて、同時に、それを解こうとするあらゆる試みが不成功に終わらざるを得ないことが証明される、という意味においてである。