数学において一つの命題が真であることは証明によって確かめられる。この場合、証明は、既に真であることが確かめられている他の命題を元にして論理的推論を施すことによって行われる。そこで証明を次第にさかのぼっていけば際限がないが、循環論法にならな…