Ett
formellt system är ursprungligen en symbolisk representation av en matematisk teori. En uppsättning
axiom formuleras i ett begränsat symboliskt språk och med hjälp av bestämda
härledningsregler kan därefter vissa
formler härledas. Sådana härledbara formler kallas
teorem. Även axiomen själva räknas som teorem.