Un nombre alternativo, "Schönfinkelisation", ha sido propuesto.