tybug's blog
gödel's incompleteness theorem
2022-03-16 •
math
