Что такое терм в мат логике? Можно описать более доступным языком? Перешарила весь Инет не понимаю, что они говорят

Терм — выражение формального языка (системы) специального вида. Понятие терма определяется индуктивно:

всякая индивидная константа есть терм;
всякая свободная переменная есть терм;
если f^i — і-местная функциональная константа и t_1, t_2, …, t_i — термы, то f^i(t_1, t_2, ..t_i) также есть терм.