длина формулы в исчислении предикатов

[popolznev]

Как определяется длина формулы в исчислении предикатов?

[Xaositect]

Формула - это слово в некотором языке. Длина слова определяется как $l(\Lambda) = 0; l(aw) = 1 + l(w)$, где $\Lambda$ - пустое слово, $a$ - символ алфавита, $w$ - произвольное слово.