普通の証明（主観）
形式的証明（客観）

しかし、どちらも「真」であることについての
絶対的証明にはならない。これが現実