Весь набір аксіом (система) називають аксіоматикою. Отже, аксіоми — це початкові факти геометрії, які приймаються без доведень і дають змогу доводити з них всі подальші факти цієї науки. Твердження, доведені з аксіом, називають теоремами.