Gödel’s Incompleteness Theorems https://plato.stanford.edu/entries/goedel-incompleteness/ Introduced in SE212, but I don’t understand.