set axioms set constructions sets ans numbers - "0, . " (uk : open university, 1973)