. Thus it is not the case that we n

. Thus it is not the case that we need to presuppose logic in a meta-language to derive instances from our logical scheme. It is inappropriate to seek all the forms and distinctions of formal languages in natural languages, which, for example, already differ in being their own meta-languages.

ผลลัพธ์ (ไทย) 1:

. ดังนั้น มันไม่ได้กรณีที่เราต้อง presuppose ตรรกะใน meta-ภาษาสามารถรับอินสแตนซ์จากโครงร่างของตรรกะ ไม่เหมาะสมเพื่อค้นหาแบบฟอร์มทั้งหมดและข้อแตกต่างของภาษาที่เป็นภาษาธรรมชาติ ที่ เช่น แล้วแตกต่างใน meta-ภาษาของตนเอง ได้

ผลลัพธ์ (ไทย) 2:

. ดังนั้นมันจึงเป็นกรณีที่ไม่ว่าเราจำเป็นต้องส่อตรรกะในภาษาเมตาที่จะได้รับจากกรณีโครงการตรรกะของเรา มันไม่เหมาะสมที่จะแสวงหาทุกรูปแบบและความแตกต่างของภาษาที่เป็นทางการในภาษาธรรมชาติซึ่งตัวอย่างที่แตกต่างกันอยู่แล้วในการเป็นเมตาภาษาของตัวเอง

ผลลัพธ์ (ไทย) 3:

. ดังนั้นมันจึงไม่ใช่กรณีนั้นเราต้องสันนิษฐานตรรกะใน meta ภาษาเพื่อสร้างอินสแตนซ์จากรูปแบบตรรกะของเรา มันเป็นไม่เหมาะสมที่จะแสวงหาทุกรูปแบบและความแตกต่างของภาษาอย่างเป็นทางการ ภาษา ธรรมชาติที่แตกต่างกัน ตัวอย่างเช่น แล้วถูกของตัวเองภาษาเมตา