现代逻辑造句

1.之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。

2.叶圣陶先生早年关于文体分类的持论存在严重的缺失，我们也必须以现代逻辑科学为准绳重新进行理性审视。