इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें पहले, जो आंकड़ों की टोपोलॉजी और तार्किक प्रणालियों को बांधता था, अल्फ्रेड टार्स्की था ।
निश्चित रूप से, वाक्य का एक अधिक जटिल संस्करण है "प्रथम, जिसने आकृतियों की टोपोलॉजी और तार्किक प्रणालियों को बांधा था, ए. टार्स्की ने दिखाया कि तार्किक इकाइयों को टोपोलॉजिकली अलग ज्यामितीय आकृतियों को सौंपा जा सकता है 1".