まあ>>1は S は集合じゃないですむけど
たとえば
「このカッコ内の文は嘘」
なんて場合に嘘だと仮定すると矛盾だから
本当とはならないでしょ?