Neo-logicism revives the logicist project of grounding mathematics in logic. It addresses criticisms of traditional logicism with new insights and…