Мнение о самоочевидности аксиом -- это, конечно, бытовая (
лажевая) примитивизация. [>>
профанация]
Самоовечидное утверждение (2*2=4) не обязано быть аксиомой. В свою очередь аксиома -- утверждение, взятое в качестве порождающего в некоторой формальной системе -- не обязана быть самоочевидной: просто так может быть удобней.
Адекватность формальной системы, предположительно описывающей какую-то реальность, обеспечивается адекватностью всей сети её утверждений (тех, что предполагают прямое сопоставление с этой реальностью).
Upd 2018-12-03 Это важно для понимания, среди прочего, и того, что
позитивная теория не обязана формулироваться исключительно в терминах наблюдаемых величин (как по наивности думали некоторые физики, наслушавшиеся неопозитивистского словоблудия; это не упрёк философам -- у физиков своего гипотезоблудия достаточно).