Originalmente, Church había tratado de construir un sistema formal completo para modelizar la matemática; pero en 1934 Kleene and Rosser publicaron una implementación de la paradoja de Richard.