russo> Но никто не мешает тебе создать новую формальную систему, и в ней принимать любые аксиомы, в том числе и эту. Собственно тебе уже на это намекнули. Не мешает. Но фундаментальной она не станет. Пример. Допустим у тебя есть система линейных алгебраических уравнений относительно двух переменных - (x,y)
Ты сделал их пять. А реально, чтобы решение существовало - нужно только два. Либо три остальных у тебя являются линейной комбинацией двух уравнений из системы, либо решения не существует.
Относительно фундаментальности действует принцип минимализма - минимальным набором аксиом ты должен описать наибольший набор решений/явлений. Остальные - излишни.
Это правило отбора и отсеит аксиому о параллельных прямых, которые пересекаются под некоторым углом - эта аксиома смысла иметь не будет.
Зря думаешь что в науке все и вся комбинируется в произвольном порядке - знанием становится далеко не все - хотя в реальности комбинаций гораздо больше.
И это правило отбора - не математическое.