圏 論 に よ る プログラミング と 論 理
圏 論 に よ る プログラミング と 論 理
圏 論 に よ る プログラミング と 論 理
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
ックスがあります. 発⾒見者であ<strong>る</strong>バートランド・ラッセル (Bertrand<br />
Arthur William Russell, 1872-1970) が名前の由来です. これは次の<br />
<strong>よ</strong>うなパラドックスです:<br />
素朴集合<strong>論</strong><strong>に</strong>おいては, 「⾃自分⾃自⾝身を元<strong>と</strong>して含まない集合」<strong>と</strong>い<br />
う概念が考えられ<strong>る</strong>. ここで「⾃自分⾃自⾝身を元<strong>と</strong>して含まない集合」す<br />
べてからな<strong>る</strong>集合