These hypotheses, i contend, must be refutable in principle . 我认为这些假说在原则上必须是可以反驳的。
2.
In short , a useful thoery is one that is refutable by facts but so far repeatedly confirmed by evidence 一句话，强的理论便是一个可能被事实推翻，但至今仍不断被事实确认的理论。
3.
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 对任何基本算术事实是可证明的形式理论来说，如果该理论是一致的，那么就可以构造一个算术陈述，它是正确的，但无法使用该理论证明或推翻。
