Thus it is not the case that we nee

Thus it is not the case that we need to presuppose logic in a meta-language to derive instances from our logical scheme.

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

ดังนั้น มันไม่ได้กรณีที่เราต้อง presuppose ตรรกะใน meta-ภาษาสามารถรับอินสแตนซ์จากโครงร่างของตรรกะ

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

ดังนั้นมันจึงเป็นกรณีที่ไม่ว่าเราจำเป็นต้องส่อตรรกะในภาษาเมตาที่จะได้รับจากกรณีโครงการตรรกะของเรา

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

ดังนั้นมันจึงไม่ใช่กรณีนั้นเราต้องสันนิษฐานตรรกะใน meta ภาษาเพื่อสร้างอินสแตนซ์จากรูปแบบตรรกะของเรา