Có ba số tự nhiên khác 0 sao cho tổng bình phương của hai số bằng bình

Mệnh đề “Có ba số tự nhiên khác 0 sao cho tổng bình phương của hai số bằng bình phương của số còn lại” được viết là: “∃ x, y, z ∈ ℕ^*, x² + y² = z²”. Mệnh đề này là mệnh đề đúng. Chẳng hạn ta có bộ ba số (3; 4; 5) với 3² + 4² = 5².