哲学是如何证明 一些命题的?