Я имею в виду правила типа A=A или A or not A или not (A and not A), ну и более хитрые.
Зависят ли они от вселенной? Или есть вселенные где из тех же аксиом выводятся другие выводы?
Я не про переформулировки, типа "давай переопределим 3 и 4 местами и будет 2+2=3", а именно про азы логики.
Понятно, что любое наше рассуждение будет делаться в нашей логике и поэтому можно будет сказать "а в той вселенной это не так", то есть 100% ничего доказать нельзя, но может есть какие-то более серьёзные исследования на эту тему?