Los símbolos que designan los conceptos primitivos son formula_1.