In the proof, he implicitly used what has later become known as Gödel–Dummett intermediate logic (or Gödel fuzzy logic).
Во доказот, тој имплицитно го користел она што подоцна станало познато како Гедел-Думетова интермедијарна логика (или Геделова неопределена логика).