三 同数学、逻辑相关的陈述与事实