Aristoteles löst das Verifizierungsproblem.