1) Chinese version of Hypnerotomachia Poliphili
2) Chinese version of Pēteris Vasks
1) Gödel's first incompleteness theorem
1.1) Proof sketch for Gödel's first incompleteness theorem
1) Kirchhoff's circuit laws
2) Proof sketch for Gödel's first incompleteness theorem