Isto significa que, ta qualsiquier simbolo variable , a formula  puet considerar-se como un axioma. Ta no cayer en a vaguedat u en una serie sin fin de "nocions primitivas", en primerías s'amenista bien una ideya d'o que queremos decir con  u definir un uso purament formal y sintactico d'o simbolo , y de feito, a lochica matematica lo fa.