逻辑上的自洽