Zermelo–Fraenkel set theory
He sketched a program for proving the consistency of Zermelo–Fraenkel set theory using ultrafinitistic techniques in , and .