>>35
証明の正しさを検証する方法がふたたび「証明」である必要があるのか?