任何一條數學命題,都存在三種可能:

  • 可以證明
  • 可以否證
  • 不可判定

#Entscheidungsproblem