Сформулировать аксиому прямых