أرسطو يحل مشكلة التحقق.