एक ही प्रकार के एक तर्क तत्व अनिवार्य रूप से उसी भाषा में एक वाक्य के लिए एक तर्क नहीं हो सकता है, लेकिन गोडेल ने इसे बहुत विस्तृत रूप से निर्मित किया; उन्होंने हमें एक वाक्य का निर्माण करने का बहुत विस्तृत तंत्र दिया।