Р> если выразить факт формульно
Р> F: f(s', l(s), l, f, t', inputs)

Уважаемый топикстартер знает в чём разница между фактом и суждением?

Факт — это то, что произошло или происходит в реальности, и его можно доказать с помощью доказательств

Суждение — это нечто, что может быть верным или ложным, но его нельзя доказать с помощью доказательств

Р> являющейся первым неопровержимым фактом

Ну давай доказательства: 1) что это факт; 2) [опционально] что факт неопровержимый.