否證

闡述敘述、命題、數學命題、證據、數學證明這些概念之間的關係，並做基本的示範。