this is axiomatic set theory . these axioms are needed for set theory and not for mathematics. so can we avoid them since the involve use of predicate and property. will experts guide in detail. can the use be restricted by using a mapping rather than property or predicate notion ?