为真造句

1、而哥德尔证明，任何有用的高阶形式数学系统，都无法证明系统内的所有命题为真。

2、刘信达不会是第二个阿忆吧，“大嘴”博文说法是否为真，还待时日或当事人出面澄清。

3、我向来要求眼见为真，才不会被以讹传讹的传闻所愚弄。

4、已故教皇保罗二世被册封为真福的前夜，数万名清教徒在罗马中部参加了守夜活动。