Aristotle đã thúc đẩy toán học một cách mạnh mẽ bằng cách giải quyết vấn đề xác minh. Thử nghiệm ở đây: