danh sách gọn gàng về "~100 định lý hàng đầu" và các hình thức chính thức của chúng bằng nhiều ngôn ngữ khác nhau (có liên kết đến từng định lý), vẫn còn cập nhật
liên kết:
144