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