формальные языки

[nebo11]

Доброго времени суток!
Прошу Вашего совета по задаче,суть которой заключается в представлении теоремы Дирихле о простых числах в арифметической прогрессии на подходящем формальном языке.
я справился с этой задачей, используя язык предикатов.Каким формальным языком еще возможно представить теорему?