Formalising Gödel’s incompleteness theorems, I


W3Schools
Formalising Gödel’s incompleteness theorems, I
by furcyd on Hacker News.


W3Schools

Leave a comment