1、而哥德尔证明,任何有用的高阶形式数学系统,都无法证明系统内的所有命题为真。
2、刘信达不会是第二个阿忆吧,“大嘴”博文说法是否为真,还待时日或当事人出面澄清。
3、我向来要求眼见为真,才不会被以讹传讹的传闻所愚弄。
4、已故教皇保罗二世被册封为真福的前夜,数万名清教徒在罗马中部参加了守夜活动。