2011-06-15から1日間の記事一覧
@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