Kurt Goedel

Empty.