>>16
証明の証明が有限に続き
その有限の証明を証明できたら真に正しいと言えましょう