Peano arithmetic is equiconsistent with several weak systems of set theory.
Η αριθμητική του Πεάνο είναι equiconsistent με πολλά αδύναμα συστήματα της θεωρίας συνόλων.