Nauka dostarczająca narzędzi do otrzymywania ścisłych wniosków z przyjętych założeń, zatem dotycząca prawidłowości rozumowania.
Jedna z głównych dziedzin matematyki; tradycyjnie i nieformalnie definiowana jako nauka o przestrzeni i jej podzbiorach zwanych figurami.