ペアノの公理
Other major proponents of neo-logicism include Bernard Linsky and Edward N. Zalta, sometimes called the Stanford–Edmonton School, abstract structuralism or modal neo-logicism who espouse a form of axiomatic metaphysics. Modal neo-logicism derives the Peano axioms within second-order modal object theory.