It was then simplified in 1947, when Leon Henkin observed in his Ph.D. thesis that the hard part of the proof can be presented as the Model Existence Theorem (published in 1949).
پس از آن بود که در سال ۱۹۴۷ توسط لئون هنکین ساده شد که در پایان‌نامه دکتری اش متوجه شد که بخش سخت اثبات را می‌تواند بصورت قضیه وجود مدل ارائه داد (منتشر شده در سال ۱۹۴۹).