@kururu_goedel: @highok 私は【で、「集合論」を基礎とするならば、公理系の強弱によっては交換法則が成立しない場合もあります。】の真偽のみを問題にしているのですが。まあ、例がないならそれでよいです。2011-07-26 06:09:22 via TweetDeck to @highok …