Skip to main content

Formaltasun eta sistematizazio handiko zientzia, bereziki matematika eta logika.