Struttura teorica contenente più enti:

• si introducono i termini basilari del discorso e si spiega il loro significato, questi sono chiamati termini primitivi;
  

• si crea una lista di affermazioni sui termini primitivi; tali affermazioni basate sulle definizioni date sopra devono essere vere per tutti; questi asserti sono definiti Assiomi;
  

• tutti gli altri termini sono definiti a partire dai precedenti e si chiamano termini definiti;
  

• tutti gli altri asserti del discorso sono dedotti dai termini definiti precedentemente e dalle affermazioni stabilite prima; queste affermazioni derivate si dicono teoremi.