The fact that a certain proposition can be deduced from a certain set of axioms by means of a certain system of rules does not in itself make it true.
            
            
        
        
    某个命题可以从某一组公理通过某一规则系统推导出来,这一事实本身并不使其为真。
        大海是我的语言,沙漠是我的字母表。
                    人类的命运是团结,而非分裂。
                    在算法的世界里,最简单的解决方案往往是最好的。
                    恐龙灭绝是因为它们没有太空计划。如果我们因为没有太空计划而灭绝,那是我们活该!
                    Those who keep learning,will keep rising in life.