Si bien Kurt Gödel escribió el primer artículo sobre lógica demostrativa, que aplica la lógica modal — la lógica de la necesidad y posibilidad — a la teoría de la demostración matemática, pero Gödel nunca desarrollo el tema de una manera significativa.