موضوع بعدی درباره تمایز بین سیستم صوری و سیستم طبیعی

ارتباط بین این دوتا رو کسایی مثل رابرت روزن خیلی مفصل صورت بندی کردن(عکس زیر)

شما حتی اگه انقد مشنگ باشید که قضایای گودل رو برای سیستمی که داخلش عدد گذاری گودلی ناممکن هست به کار ببرید، نتایجش رو نمیشه…