集合論について

[0387 １３２人目の素数さん 2014/09/20(土) 03:45:48.88]

『数学基礎論へのいざない (数学基礎論シリーズ)』を読んでたら、初っぱなから
「p→q はもっとも日常的用法から『剥離』しているように見える」とか出てきてうんざりした。