Since they are logically valid in first-order logic with equality, they are not considered to be part of "the Peano axioms" in modern treatments.
Пошто су логично важећи у првом реду логике са једнакостима, они се не сматрају као део "Пеано аксиома" у модерним третманима.