人们通过什么方式证明逻辑的准确性？