En la demostración empleó implícitamente lo que después se conoció como la lógica intermedia de Gödel–Dummett (o "Gödel fuzzy logic").