背理法

<div class="dln" itemprop="articleBody"><div class="shdw top"> </div><p class="no_idt"><a class="URI" href="https://ja.m.wikipedia.org/wiki/無限降下法" target="_blank" rel="noopener nofollow ugc">https://ja.m.wikipedia.org/wiki/無限降下法</a>
<br>自然数の性質と背理法を用いた証明方法
</p><p>接触元　<a class="URI" href="https://misskey.io/notes/8jbd7ad0v6" target="_blank" rel="noopener nofollow ugc">https://misskey.io/notes/8jbd7ad0v6</a>
</p><div class="shdw btm"> </div><button type="button" class="mxmz icn_ btn_mxmz"></button></div>

無限降下法

<div class="dln" itemprop="articleBody"><div class="shdw top"> </div><p><a class="URI" href="https://www.sw.it.aoyama.ac.jp/2007/Math1/lecture12.html" target="_blank" rel="noopener nofollow ugc">https://www.sw.it.aoyama.ac.jp/2007/Math1/lecture12.html</a>
</p><div class="shdw btm"> </div><button type="button" class="mxmz icn_ btn_mxmz"></button></div>

t_wの輪郭

背理法

無限降下法

『情報数学 I 第十二回: 述語論理』