Una forma más débil de este esquema axiomático a parece en los trabajos de Tarski [1948].