শক্তিশালী নরমালাইজেশন প্রমাণগুলি নিয়ে আলোচনা করার সময়, এই মন্তব্যটি "সাধারণ ফর্মগুলির মডেল" কে "খাঁটি সিনট্যাকটিক পদ্ধতিগুলি" এর সাথে পৃথক করে।
এটি আমাকে আরও একটি মৌলিক প্রশ্নে ফিরিয়ে এনেছে: সিনট্যাক্স ভিত্তিক মডেলগুলির ক্ষেত্রে আমরা কী সিনট্যাক্টিক এবং শব্দার্থক নির্মাণগুলি কঠোরভাবে আলাদা করতে পারি? বীজগণিতগুলির জন্য টার্ম মডেলগুলি, প্রথম-আদেশের যুক্তির জন্য হেনকিনের মডেলগুলি সম্পর্কে কী? কাঠামোগত অপারেশন শব্দার্থক সম্পর্কে কি? যেহেতু টার্ম মডেলগুলি সিনট্যাক্সের জন্য বিচ্ছিন্ন হতে পারে তাই দৃ .় পার্থক্য করা শক্ত মনে হয়।
যুক্তির ক্ষেত্রে প্রুফ থিওরি এবং মডেল তত্ত্বের মধ্যে পার্থক্য অধ্যয়ন না করা পর্যন্ত আমি "স্ট্যাটিক টাইপ সিস্টেমগুলি একটি সিনট্যাকটিক পদ্ধতি" এই ধারণায় অবাক হয়েছি। সর্বোপরি, কোনও ধরণের সিস্টেমের প্রকারগুলি সম্পর্কে কারণগুলি, যা প্রোগ্রামের আচরণের বিমূর্ততা (এবং নির্ভরশীল ধরণের সাথে একটি নির্বিচারে সুনির্দিষ্ট একটি)।