Para no incurrir en vaguedad o en una serie infinita de «nociones primitivas», primero se necesita una idea de lo que se desea expresar mediante formula_11, o definir un uso puramente formal y sintáctico del símbolo formula_15.