亚里士多德通过解决验证问题大大加速了数学的发展。 在这里尝试: