Lại ngu!!! Không có cái gì được mặc định là đúng ko cần chứng minh! Chúng mày không hiểu thế nào là tiên đề, rồi lên ba láp ba xàm.
Chắc chúng mày đang ám chỉ đến các tiên đề trong toán học phổ thông, nên tao sẽ giải thích cho chúng mày về cái đó.
Tiên đề về đường thẳng đi qua 2 điểm mà thằng nào ở trên nói ở phổ thông VN dạy là tiên đề Euclid. Nó không nói rằng điều này luôn đúng không cần chứng minh. Nó nói rằng, tao quy định một điều luật như vậy (có tất cả 5 điều luật). Tao dùng nó để suy ra hệ thống các định luật hình học. Tao gọi nó là hình học Euclid.
Tất nhiên, một thằng khác có thể không thích cái quy định đó. Nó dùng điều luật khác để suy ra hệ thống các định luật hình học khác. Ví dụ hình học phi Euclid không hề có tiên đề Euclid, và nó thậm chí còn là nền tảng cho thuyết tương đối của Einstein.
Như vậy, các tiên đề chỉ là các quy ước ban đầu để tạo ra các mô hình lý thuyết (hình học Euclid, hình học phi Euclid, ...). Không một mô hình nào là đúng tuyệt đối nhá!