Logicism is a philosophical theory about the status of mathematicaltruths, to wit, that they are logically necessary or analytic.

• 大概指数理逻辑上的可立论性和可解析性。