Язык n-порядка? Ищу определение (не логики n-порядка)

[Ontos]

Мешает ограничение числа символов в названии темы. Встречал словосочетание "язык первого порядка". Гуглится по запросу "логика первого порядка". Является ли научно признанным (в какой науке, семантике, лингвистике?) словосочетание "язык первого порядка", и не сводится ли оно к словосочетанию "логике первого порядка"? Аналогичные вопросы про порядки более 1.