A este resultado se lo llama el teorema de Frege, y constituye la base de una filosofía de la matemática llamada neo-logicismo.