ottesbeweis, ontologischer
- Kurt Gödel