18GIC-Godel.pdf