На счёт аксиом в физике:
Изначально они, скорее всего, были. Но сейчас в качестве аксиом выступают аксиомы математики: логика, теория множеств, теория чисел и т.п. Из них выводится теорвер, а из теорвера и экспериментов уже выводится вероятность верности той или иной теории. Сам я точно не знаю этой кухни, но, вполне естественно предположить, что из существующих теорий принимается за верную та, для которой вероятность наибольшая. Так естественным образом отсекаются лишние сущности и сохраняется фальсифицируемость. Правда, если вдруг вероятность теории, которая является общепринятой уже давно, окажется ниже, чем вероятность кардинально другой теории, её могут принять не сразу.