But before we look at two of Friedm

But before we look at two of Friedman's approaches, let's examine what we mean when we talk about the "rules" of mathematics. To build a formal system of maths, you first need to decide what kind of assumptions you're prepared to accept without proof. These are your axioms. They usually involve pretty self-evident statements such as "0 is a natural number".

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

แต่ก่อนที่เราจะมองไปที่สองของวิธีการของฟรีดแมน, ขอตรวจสอบสิ่งที่เราหมายถึงเมื่อเราพูดคุยเกี่ยวกับ "กฎ" ของคณิตศาสตร์ ในการสร้างระบบที่เป็นทางการของคณิตศาสตร์คุณต้องตัดสินใจเลือกสิ่งที่ชนิดของสมมติฐานที่คุณกำลังเตรียมที่จะยอมรับโดยไม่ต้องพิสูจน์ เหล่านี้เป็นหลักการของคุณ พวกเขามักจะเกี่ยวข้องกับคำสั่งชัดเจนในตัวเองสวยเช่น "0 เป็นจำนวนธรรมชาติ"

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

แต่ก่อนเรามองไปที่สองของวิธีของฟรีดแมน ขอตรวจสอบว่าเราหมายความว่า เมื่อเราพูดถึง "กฎ" ของคณิตศาสตร์ สร้างระบบทางคณิตศาสตร์ คุณก่อนต้องการเลือกชนิดของสมมติฐานที่คุณกำลังเตรียมที่จะยอมรับ โดยไม่มีหลักฐาน เหล่านี้เป็นของคุณสัจพจน์ พวกเขามักจะเกี่ยวงบสวยวีรกรรมเช่น "0 เป็นจำนวนธรรมชาติ"

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

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