Peano setzte als Rahmen eine Klassenlogik voraus. Sein Axiomensystem ist auch in der Mengenlehre interpretierbar oder auch in der Prädikatenlogik zweiter Stufe, da neben Zahlenvariablen im Induktionsaxiom auch die Mengenvariable  vorkommt.