Russell's paradox
集合论和高阶逻辑的罗素悖论也给出了不一致（次协调）的信息的系统。