Zientzia formalek, logikak eta matematikak, ez dituzte gertakariak kontuan hartzen, arrazoiketen forma baizik. Logikak arrazoiketa egokiaren arauak aztertzen ditu. Aldiz, matematikak izate abstraktuen (zenbakiak, irudi geometrikoak, sinboloak) arteko erlazioak aztertzen ditu.
Matematikek logika deduktiboa erabiltzen dute nagusi. Beraz, dedukzioak argudio logikoak dira.
Zientzia formalen ideal metodologikoa sistema axiomatiko bilakatzea da. Honen osagaiak:
- Axiomak
- Antolaketa arauak eta eraldaketa-arauak
- Teoremak
Estae baterako geometrioa euklidearrearen zenbait axioma aldatuz, geometria ez-euklidearrak sortu ziren.