Định lý cùng công lý khác nhau
Định lý cùng công lý khác nhau: Công lý là không thể bị chứng minh nhưng xác thật là chính xác kết luận, là khách quan quy luật. Định lý là ở điều kiện nhất định hạ, từ công lý suy luận chứng minh ra tới chính xác kết luận.
Ở toán học, định lý là chỉ ở đã có mệnh đề cơ sở thượng chứng minh ra tới mệnh đề, này đó đã có mệnh đề có thể là khác định lý, hoặc là quảng vì tiếp thu trần thuật, tỷ như công lý. Toán học định lý chứng minh tức là ở hình thức hệ thống hạ nên định lý mệnh đề mà làm một cái suy luận quá trình. Định lý chứng minh thông thường bị thuyết minh vì đối này chân thật tính nghiệm chứng. Bởi vậy có thể thấy được, định lý khái niệm trên cơ bản là suy diễn, có khác với mặt khác yêu cầu dùng thực nghiệm chứng cứ tới duy trì khoa học lý luận.
Công lý là chỉ căn cứ nhân loại lý tính không chứng hiển nhiên cơ bản sự thật, trải qua nhân loại trường kỳ lặp lại thực tiễn khảo nghiệm, không cần lại thêm chứng minh cơ bản mệnh đề. Ở toán học trung, công lý đều là dùng để suy luận mặt khác mệnh đề khởi điểm. Công lý cùng định lý bất đồng, một cái công lý ( trừ phi có nhũng dư ) không thể bị mặt khác công lý suy luận ra tới, nếu không nó liền không phải khởi điểm bản thân, mà là có thể từ khởi điểm đến ra nào đó kết quả — có thể dứt khoát bị về vì định lý.