2000/07/17 (月) 20:03:15      [mirai]
RはRを含むと仮定すると、RはRを含みません。RはRを含まないと仮定すると、RはRを含
みます。すなわち、命題Bが真であると仮定すると命題Cも真になります

???