2011年06月15日のツイート
@kururu_goedel: @itimasan φは空集合、つまり元を一つも持たない集合。{φ}は空集合を唯一の元とする集合です。つまり、∀x(¬x∈φ)で、∀x(x∈{φ}⇔x=φ)です。
2011-06-15 13:12:24 via TweetDeck to @itimasan
@kururu_goedel: @itimasan φは空集合、つまり元を一つも持たない集合。{φ}は空集合を唯一の元とする集合です。つまり、∀x(¬x∈φ)で、∀x(x∈{φ}⇔x=φ)です。
2011-06-15 13:12:24 via TweetDeck to @itimasan