Aristotel rezolvă problema verificării.