Kurt Godel view 3