Aristoteles lost het verificatieprobleem op.