Gödel's incompleteness theorems

See https://ncatlab.org/nlab/show/incompleteness+theorem.