[Morpheus]

#2 - аксиома »

Теорема (предположение) (выдумка), называй как хочешь.

#3 - обоснование, выраженное логическим и [ранее] математическим языком »

См. обоснование в #38 на вашем же языке

#4 - вывод »

Там же, в #38.