Axiomatische opbouw der verzamelingenleer, in het bijzonder der getallentheorie