Context:

...gdy nie będą udowodnione, że są prawdziwe albo fałszywe. Wielki cios. No ale na szczęście to jeszcze nie jest koniec tej historii, dlatego że później John von Neumann, znowu fantastyczny matematyk, stwierdził, że okej, być może pewne systemy nie pozwalają na rozstrzyganie, czy coś jest prawdziwe albo jest fałszywe,...