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

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

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

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

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

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

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

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

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

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

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