Bình phương vòng tròn là một vấn đề được đề xuất bởi các máy đo địa lý cổ đại. Đó là thách thức khi dựng một hình vuông có cùng diện tích với một hình tròn cho trước bằng cách chỉ sử dụng một số bước hữu hạn với compa và thước thẳng. Có thể đặt câu hỏi liệu các tiên đề cụ thể của hình học Euclide liên quan đến sự tồn tại của đường thẳng và đường tròn có kéo theo sự tồn tại của một hình vuông như vậy hay không.