"The formalization of mathematics using such many sorted systems as IST(<•) + INF* is cumbersome and unpleasant. This is why f.o.m. turned to axiomatic set theory. There is a set theory which corresponds very closely to IST(<•) + INF. This is the so called Zermelo set theory, Z..." -Philosophical Problems in Logic, p.18, paragraph 1-2