logical consistency

这个理论在数学上具有很好的自洽性。