godel-incompleteness-theorem public under theorem 13 List Picture As a command %3 n0 godel-incompleteness-theorem n1 theorem n1->n0