>>6
ではどのような状態を満足すれば、
証明の証明が、「証明」たりえ、
どのような状態を満足すれば、
有限の証明を「証明」できたことになるのですか？