جوان گمنام به نام کورت گودل مقاله‌ای نوشت و در آن دو قضیه مهم را اثبات کرد. به زبان ساده نتیجه اثبات وی را می‌توان چنین بیان کرد: اول اینکه اگر نظریه مجموعه‌ها صحیح باشد آنگاه در ریاضی گزاره‌های صحیحی هست که هرگز نه می‌توان آن‌ها را اثبات و نه رد کرد. این امر