Zenbakiak, multzoak, figura geometrikoak, haien arteko erlazioak eta hortik eratortzen diren beste entitate abstraktoak ikertzen dituen jakintza-arlo logiko-deduktiboa.