客观的证明主要是两点，第一个是前提之为真，第二个叫逻辑之自洽。