数学において一つの命題が真であることは証明によって確かめられる。この場合、証明は、既に真であることが確かめられている他の命題を元にして論理的推論を施すことによって行われる。そこで証明を次第にさかのぼっていけば際限がないが、循環論法にならな…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。