체르멜로-프렝켈 집합론
He sketched a program for proving the consistency of Zermelo–Fraenkel set theory using ultrafinitistic techniques in , and .