一个命题的含义就是它被证实的方法。