Nauka dostarczająca narzędzi do otrzymywania ścisłych wniosków z przyjętych założeń, zatem dotycząca prawidłowości rozumowania.
Jeden z najstarszych działów matematyki. W powszechnym użyciu słowo to odnosi się do zasad opisujących podstawowe działania na liczbach (arytmetyka elementarna).