We intended to distinguish between

We intended to distinguish between working within the symbolic system in which the proof statement is made (syntactic), and stepping outside the symbolic system (semantic) such as considering examples

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

เรามีจุดประสงค์เพื่อแยกความแตกต่างระหว่างการทำงานภายในระบบสัญลักษณ์ซึ่งงบพิสูจน์ทำ (ทางไวยากรณ์), และก้าวนอกระบบสัญลักษณ์ (ความหมาย) ดังกล่าวเป็นการพิจารณาตัวอย่าง

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

เราตั้งใจที่จะแยกแยะความแตกต่างระหว่างการทำงานในระบบสัญลักษณ์ที่คำสั่งหลักฐานที่ทำ (ประโยค) และก้าวนอกระบบสัญลักษณ์ (ความหมาย) เช่นพิจารณาตัวอย่าง

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

เราตั้งใจที่จะแยกแยะระหว่างการทำงานในระบบสัญลักษณ์ที่งบพิสูจน์ได้ ( ไวยากรณ์ ) และก้าวนอกระบบสัญลักษณ์ ( ความหมาย ) เช่น พิจารณาตัวอย่าง