Неоднократно в этом разделе и в соседних люди, говоря о вере, предлагали другим доказать, что дважды два будет четыре. Действительно, вопрос отделения наших знаний от нашей веры является сложным. Вопрос всей жизни. Причем окончательно так и не решаемый вопрос.
Но позволю себе усомниться в том, что "2*2=4" имеет отношение к этому вопросу. Разве эта формула является теоремой? Думаю, что она так же не является и аксиомой. Это -- конвенция. Соглашение, принимаемое для удобства.
Но с этим связана следующая проблема. Встав на позиции конвенционализма легко впасть в субъективныйу идеализм, что нехорошо. Поэтому, в следующий раз, встретив человека, требующего от вас доказать subj, толкните его, как учил Ницше.