Интересно, что получится, если обучить дите с малого возраста методам исчисления высказываний, а потом дать ему аксиомы геометрии Эвклида? Получилась бы в точности такая же геометрия, как имеющаяся, или нет?
Еще занятно было б посмотреть, что получилось бы, если выдать аксиомы геометрии Римана.
Исчисление высказываний - это раздел матлога, в котором изучаются методы доказательства некоторых высказываний на основе некоторого базового множества аксиом при помощи определенных правил вывода.