इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें प्रथम-क्रम तर्क -- जिसे प्रथम-क्रम उपदेश गणना और उपदेश तर्क के रूप में भी जाना जाता है -- एक प्रकार की औपचारिक प्रणाली है.
निश्चित रूप से, वाक्य का एक अधिक जटिल संस्करण है "प्रथम-क्रम तर्क -- जिसे प्रथम-क्रम भविष्यवाणी गणना और भविष्यवाणी तर्क के रूप में भी जाना जाता है -- गणित, दर्शन, भाषाविज्ञान और कंप्यूटर विज्ञान में प्रयुक्त औपचारिक प्रणालियों का एक संग्रह है".