Р> Я вам уже за логику давно второго порядка говорю, наличие рекурсивных формул должно было вам об этом кое что сказать

Приведённая формула также не является формулой в логике второго порядка.

https://ru.wikipedia.org/wiki/Логика_второго_порядка

Логика второго порядка — расширяет логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами и функциональными символами.

То, что у тебя написано, это не "формула", и не "атом", это максимум терм.

Р> F: f(s', l(s), l, f, t', inputs)
Р> Я вам уже за логику давно второго порядка говорю, наличие рекурсивных формул должно было вам об этом кое что сказать

Приведённая надпись также не является формулой в логике второго порядка.

https://ru.wikipedia.org/wiki/Логика_второго_порядка

Логика второго порядка — расширяет логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами и функциональными символами.

То, что у тебя написано, это не "формула", и не "атом", это максимум терм.