Định đề

Định đề là gì:

Định đề là một câu không được chứng minh hoặc chứng minh, và do đó trở nên rõ ràng hoặc trở thành sự đồng thuận ban đầu cho việc chấp nhận một lý thuyết nhất định.

Các định đề không nhất thiết là một sự thật rất rõ ràng, nó là một biểu thức chính thức được sử dụng để suy ra một cái gì đó để có được một kết quả dễ dàng hơn, thông qua một tập hợp các câu. Các định đề là một đề xuất, mặc dù không rõ ràng, được coi là đúng mà không cần thảo luận.

Thông thường định đề được xem như một từ đồng nghĩa với tiên đề, bởi vì cả hai đều được chấp nhận mà không cần tranh luận. Tuy nhiên, tiên đề cũng có thể có một ý nghĩa khác, như trong toán học, có thể là một giả thuyết ban đầu về các cách nói khác, hoặc một câu khác, mệnh đề hoặc quy tắc cho phép xây dựng một hệ thống chính thức.

Trong một số trường hợp cụ thể như toán học hoặc một số khoa học tự nhiên, các tiên đề không được chấp nhận vì chúng là một sự thật tuyệt đối, nhưng vì chúng là một phần của một nguyên tắc logic, là một phần của chuỗi logic hoàn hảo hoặc do chúng xuất phát từ kiến thức thực nghiệm dựa trên quan sát và dữ liệu khoa học.

Tiên đề cũng tồn tại trong kỹ thuật, khi nó là một thứ được chấp nhận mà không có bằng chứng chính thức và các lựa chọn của nó được đưa ra từ quan điểm thực dụng và kinh tế hoặc nó cũng có thể là một giả thuyết trong mô hình hóa.

Một số định đề nổi tiếng nhất là định đề của Koch, định đề của Bohr và định đề của Euclid.

Định đề và tiên đề

Sự khác biệt giữa tiên đề và định đề là tiên đề chứa chính bằng chứng và do đó không cần phải chứng minh. Tiên đề không thể được bắt nguồn từ các nguyên tắc khấu trừ và chúng không được chứng minh bằng các dẫn xuất chính thức, bởi vì chúng là những giả thuyết ban đầu.

Một định đề là hợp lý, ngay cả khi nó không thể được chứng minh. Mặt khác, một tiên đề có thể không hợp lý, nhưng được coi là một sự thật tuyệt đối.