Proving such statements is no more

Proving such statements is no more than a game in which symbols are manipulated according to fixed rules. The point of the ‘game of higher mathematics’ consists, in Hilbert's view, in proving statements of elementary arithmetic, which do have a direct interpretation

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

พิสูจน์งบดังกล่าวจะไม่มากไปกว่าเกมที่สัญลักษณ์จะจัดการตามแก้ไขกฎ ประกอบด้วยจุดของ 'เกมคณิตศาสตร์สูง' ในมุมมองของฮิลแบร์ท ในพิสูจน์งบของเลขคณิตประถม ซึ่งมีการตีความโดยตรง

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

พิสูจน์งบดังกล่าวจะไม่มากไปกว่าเกมที่สัญลักษณ์จะจัดการตามกฎถาวร จุดของ 'เกมคณิตศาสตร์ที่สูงขึ้น' ประกอบด้วยในมุมมองของฮิลแบร์ต, ในงบพิสูจน์คณิตศาสตร์ระดับประถมศึกษาซึ่งจะมีความหมายโดยตรง

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

พิสูจน์งบดังกล่าวไม่เกินในเกมที่สัญลักษณ์จะควบคุม ตามกฏเกณฑ์ตายตัว ประเด็นของ " " ประกอบด้วยเกมคณิตศาสตร์ที่สูงขึ้น ในมุมมองของฮิลเบิร์ต ในการพิสูจน์ข้อคณิตศาสตร์เบื้องต้น ซึ่งมีการตีความโดยตรง