Từ điển Tiếng Việt - Từ định lí là gì

Chữ quốc ngữ - Sự hình thành, phát triển và những đóng góp và văn hóa Việt Nam

định lí	dt. Mệnh đề toán học được chứng minh bằng lập luận lô-gích dựa vào tiên đề, định nghĩa... đã biết.
Nguồn tham chiếu: Đại Từ điển Tiếng Việt

định lí	dt (H. định: giữ nguyên; lí: lẽ) Mệnh đề toán học cần được chứng minh trên cơ sở các định nghĩa đã biết: Định lí Thalès.
Nguồn tham chiếu: Từ điển - Nguyễn Lân

định lí	(toán) d. Mệnh đề toán học cần được chứng minh.
Nguồn tham chiếu: Từ điển - Việt Tân