Bài này nói về tiên đề toán học hay tiên đề triết học?

Tiên đề triết học được xem là luôn đúng, do đó không cần phải có một chứng minh (proof).

Tiên đề toán học được đưa ra để dùng chứng minh các đề nghị theo sau. Câu hỏi là nó đúng hay sai không áp dụng cho một tiên đề toán học vì nó không thể chứng minh được. Thí dụ, Định đề Euclide được dùng để chứng minh rất nhiều định lý trong không gian Euclide. Suy ra, nó có vẻ "đúng". Nhưng có các nhà toán học không chấp nhận nó mà vẫn chứng minh được nhiều định lý khác (suy ra, nó có vẻ "sai"), như trong không gian Riemann chẳng hạn. Mekong Bluesman 10:55, 3 tháng 6 2005 (UTC)

Quay lại trang “Tiên đề”.