Giả thuyết ABC là một giả thuyết toán học, được phát biểu ban đầu năm 1985 bởi Joseph Oesterlé và được tổng quát hóa sau đó bởi David Masser. Giả định này có thể liên quan đến việc nghiên cứu về các phương trình Diophantine chẳng hạn như là về số nghiệm hữu hạn của định lý Fermat lớn, một định lý nổi tiếng của Pierre de Fermat.