El esquema de especificación resulta ser una versión limitada o débil del axioma de Frege.