La formulación original, dada por Fraenkel [1921/22 y 1927] y Skolem [1922/23 y 1929], es en esencia como sigue: