アリストテレスは検証問題を解決します。