They accept the discovery and proof

They accept the discovery and proof of new theorems within a formal mathematical theory, building on its axioms. However, they do not treat the creation or change of mathematical theories nor informal mathematics, let alone human agency. According to such views, mathematics consists of nothing more than fixed, formal mathematical theories.

Results (Thai) 1:

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

Results (Thai) 2:

พวกเขายอมรับการค้นพบและการพิสูจน์ทฤษฎีบทใหม่ภายในทฤษฎีทางคณิตศาสตร์อย่างเป็นทางการอาคารในหลักการของ แต่พวกเขาไม่ได้ปฏิบัติต่อการสร้างหรือการเปลี่ยนแปลงของทฤษฎีทางคณิตศาสตร์หรือคณิตศาสตร์เป็นทางการให้หน่วยงานของมนุษย์เพียงอย่างเดียว ตามมุมมองดังกล่าวคณิตศาสตร์ประกอบด้วยอะไรมากไปกว่าการแก้ไขทฤษฎีทางคณิตศาสตร์อย่างเป็นทางการ

Results (Thai) 3:

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