(b) There is the modern view of the

(b) There is the modern view of the truth of a mathematical statement relative to a background mathematical theory: the statement is satisfied by some interpretation or model of the theory. According to this (and the following) view, mathematics is open to multiple interpretations, i.e., possible worlds. Truth consists merely in being true (i.e., satisfied, following Tarski,1936) in one of these possible worlds.

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

(ข) มุมมองแห่งความจริงของคำสั่งทางคณิตศาสตร์สัมพันธ์กับทฤษฎีทางคณิตศาสตร์มี: ยอดเป็นความพึงพอใจ โดยการตีความหรือแบบจำลองของทฤษฎีบางอย่าง ตามนี้ (และต่อไปนี้) ดู คณิตศาสตร์เป็นตีความหลาย เช่น โลกที่สามารถเปิด ความจริงประกอบด้วยแต่ในความจริง (เช่น พอใจ Tarski ต่อไปนี้1936) หนึ่งในโลกเหล่านี้ได้

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

(ข) มีมุมมองที่ทันสมัย​​ของความจริงของคำสั่งทางคณิตศาสตร์ที่เกี่ยวข้องกับทฤษฎีทางคณิตศาสตร์พื้นหลัง: งบเป็นที่พอใจโดยการตีความบางส่วนหรือรูปแบบของทฤษฎี ตามนี้ (และต่อไปนี้) มุมมองคณิตศาสตร์จะเปิดให้ตีความหลายคือโลกที่เป็นไปได้ ความจริงมีเพียงในการเป็นจริง (เช่นความพึงพอใจต่อ Tarski 1936) ในหนึ่งของโลกที่เป็นไปได้เหล่านี้

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

( ข ) มีมุมมองที่ทันสมัยของความจริงทางคณิตศาสตร์ งบเทียบกับพื้นหลังคณิตศาสตร์ทฤษฎี : งบพอ โดยมีการตีความหรือรูปแบบของทฤษฎี ตามนี้ ( และต่อไป ) ดู คณิตศาสตร์ เปิดได้หลายชิ้น เช่น โลกที่เป็นไปได้ ความจริงเป็นเพียงการจริง ( เช่น , พอใจ , tarski ต่อไปนี้ ,1936 ) ในหนึ่งของโลกที่เป็นไปได้เหล่านี้ .