Seol mar théacs é seo: Axiomatische opbouw der verzamelingenleer, in het bijzonder der getallen theorie.