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