Alternatives to Zermelo's Assumption - doctoral dissertation by Alonzo Church