A New System of Axioms Instead of ZF (ver[removed]Use a Latin font such as Times New Roman, please.] [If not word-wrapped, see "Word-wrap" of HELP in your software.] - First-order logic - Document - PDFSEARCH.IO

First Page	Meta Content
	A New System of Axioms Instead of ZF (ver[removed]Use a Latin font such as Times New Roman, please.] [If not word-wrapped, see "Word-wrap" of HELP in your software.] Add to Reading List Document Date: 2004-09-05 11:07:18 Open Document File Size: 59,05 KB Share Result on Facebook Company Russell / / Country Japan / / Currency USD / / / IndustryTerm word processor / / Movie If... / / Person Ward Theory / / Position word processor / / Technology word processor / / SocialTag Axioms of set theory Z notation Urelements Zermelo–Fraenkel set theory Constructible universe Axiom of choice First-order logic Axiom Function Mathematical logic

A New System of Axioms Instead of ZF (ver[removed]Use a Latin font such as Times New Roman, please.] [If not word-wrapped, see "Word-wrap" of HELP in your software.]Add to Reading List