These hypotheses, i contend, must be refutable in principle . 我認(rèn)為這些假說(shuō)在原則上必須是可以反駁的。
In short , a useful thoery is one that is refutable by facts but so far repeatedly confirmed by evidence 一句話,強(qiáng)的理論便是一個(gè)可能被事實(shí)推翻,但至今仍不斷被事實(shí)確認(rèn)的理論。
For any formal theory in which basic arithmetical facts are provable , it is possible to construct an arithmetical statement which , if the theory is consistent , is true but not provable or refutable in the theory 對(duì)任何基本算術(shù)事實(shí)是可證明的形式理論來(lái)說(shuō),如果該理論是一致的,那么就可以構(gòu)造一個(gè)算術(shù)陳述,它是正確的,但無(wú)法使用該理論證明或推翻。