منطق الرتبة الأولى هو مثال على اللغة الرسمية.