نسخه ترجمه انگلیسی اصل مقاله گودل رو راحت میتونید پیدا کنید. شروع مقاله اصلا اینطوریه. ببینید موضوع بحثش چیه! سیستم هایی مثل PM راسل و وایتهد و نظریه مجموعه های زرملو و فرانکل! اینا رو اگه کسی اندازه یه درس مقدماتی مبانی ریاضی خونده باشه باید بلد باشه! شما به این قسمت که اصل شاهکار گودل هست نگاه کن! (نگاشت گزاره ها به اعداد و تولید رشته اعداد معادل با گزاره های خود ارجاع) اینجا مشخصا خواص ویژه این سیستم های صوری توی اثباتش نقش مهم داره! همینجوری هردمبیل هر سیستمی رو نمیشه استفاده کرد! سیستمی که یه سری از مشخصه ها رو نداشته باشه اصلا واجد شرایط صدق در قضیه اول گودل نمیشه! اگه میخواین با دری وری هاتون سر ملت رو کلاه بذارید حداقل یه بار مرجعی که دارید طبق اون دری وری می گید رو بخونید کامل! #یادداشت @PoriaAzadi