波普尔的原著《猜想与反驳》，但是，仅从“波普尔认为判断理论（命题）是否科学的标准是：可证伪性Flasifiability”这句话来分析，我们就可以认为，波普尔说得没错。不过，这句话中的“可证伪性Flasifiability”也许是表述得过于简练（或者说翻译得不够准确），按照一般的语义，“可证伪”它既可以理解为是“可被证伪”，也可以解释为“可用来证伪”。
为什么可证伪不是区分科学与非科学的标志?
假设“地外生命存在----外星人”这种理论——要证伪它，就得把宇宙中所有星球都找一遍再得出“地外生命不存在”，这显然是做不到的。所以霍金关于外星人的猜想，不能因为不能可证伪，而说它是非科学。
实际上，一般只有经验科学（包括自然科学、社会科学）的理论才可证伪。在数学、逻辑学这些演绎科学中，建立在公理系统上的理论（公式）只能说是“在一定条件下真”或“在一定条件下假”甚至“非真非假”（数学中哥德尔不完备定理，逻辑学中某些变异逻辑）、“既真又假”（弗协调逻辑等）。要说逻辑学与数学不是科学？别开玩笑了！爱因斯坦如何推翻牛顿力学，是吧？
