"Egyetlen axiómarendszernek sem kritériuma az, hogy még neked is meg kell értened az axiómákat. Ez egy ilyen kegyetlen világ, bizony."

az axiómákat nem kell érteni. csak megszokjuk őket.