формаматика

[рассудок]

Теорема:
Любая научная теория является объектом изучения со стороны математики.
Доказательство:
1) математика это наука о формальных системах.
2) любая научная теория является формальной системой.
3) следовательно, любая научная теория является объектом изучения со стороны математики.
Что и требовалось доказать.
Дополнение 1:
1) формальная система это формульная система.
2) формульная система это система описуемая формулами.
3) система описуемая формулами это система являющаяся объектом изучения со стороны математики.
4) система являющаяся объектом изучения со стороны математики это математическая система.
5) следовательно, формальная система это математическая система.
Что и требовалось доказать.
Дополнение 2:
1) любая система описуема формульно.
2) любая система описуемая формульно является формальной системой.
3) любая формальная система является математической системой.
4) следовательно, любая система является математической системой.
Что и требовалось доказать.