展开 逻辑自洽的例子有哪些