"Наверное, физика от того так легко формализовалась, что ее результаты всегда можно проверить опытным путем. ..."

Один доктор по физике, космолог, сообщил мне, что существует больше сотни космологических теорий. А экспериментальных фактов, на которые они опираются - не более десятка. Таким образом, ни одна из них не может быть проверена опытным путём в настоящее время, а в будущем возникнут тысячи новых теорий.

Вы стоите на фундаменте "эмпиризма" (19 век), который в качестве главного аргумента истинности выдвигал "верифицируемость". Но от этого понимания физикам пришлось отказаться, так как он не соответствовал реалиям уже 100 лет назад. То же и в математике - Вы можете рассуждать о теореме Пифагора, разобранной на косточки 500 лет назад, но не справитесь при таком подходе ни с одной современной задачей. Вообще есть всякие теоремы "о неполноте", "о неразрешимости узкого исчисления предикатов", "о синтаксической невыразимости истинности", и т.п., которые подрывают всякие надежды построения полной формальной системы, не считая тривиальных случаев. Это первое.

Второе и более важное в историческо-юридическом приложении - Вы не учитываете противоречивость анализируемых данных, которые нуждаются в "декодировании", отсеивании искажений, что само по себе может нарушить однозначность..