zientzia zehatz

Formaltasun eta sistematizazio handiko zientzia, bereziki matematika eta logika.