Salian panguratian utama puniki, wenten taler subdivisi sane kadadosang anggen nitenin tautan saking jantung matematika ring baga tiosan; logika, teori himpunan (dasar), ring matematika empiris saking makudang ilmu  (matematika terapan), taler wewengan mangkin indik studi ketat sane nenten  pasti.