Besonderhede van voorbeeld: -9188710851613678425

English

Dies wird sofort klar, wenn wir statt „F(Fu)“ schreiben „(∃φ):F(φu).φu=Fu“.

Hungarian

Ez rögtön kiviláglik, ha az F(F(u)) helyébe írjuk, hogy „(∃ φ ):F(φ u).φ u = Fu”.