Вторая проблема заключается в чём. В логике можно ввести как постулат то, что должно быть (по некоторым внешним мотивациям) теоремой. Да и не только в логике. Здесь же мы не говорим ведь о конвенционально закреплённых ZFC, скажем. Здесь системы, где работают какие-то эксперты на каких-то там разных предприятиях, никакой необходимости в том, что они выработают набор конвенций по аксиоматике, нет, и то, что у одних людей будет теоремами, у других будет аксиомами. Да даже если стандарты есть, то посмотрите, как пример, почему law of unconscious statistician называется именно так.

Я думаю, в практических логических системах уже всё равно будут реализованы некоторые вспомогательные теории как библиотеки. Например, аксиоматика для некоторой теории вероятностей. Мы уже будем здесь тогда иметь стандарт для размышлений в рамках этой теории. Но просто так никто не ограничит эксперта, например, в том, чтобы тот не мог постулировать априорную вероятность для некоторого события, когда как нужно, чтобы эта вероятность была…