前回の日記にコメントくれた id:thilogane さんの説明が判り易いです。http://d.hatena.ne.jp/thilogane/20090226自分の知識ではこれ以上考える余地がないっすｗ僕みたいな素人だと「有理数の一部が自然数」とか「切り出し方の違い（つまり単射？）」とか言…

※ カテゴリ memo がついてるのは自分用メモなので信用しないでください（ぉ絶対厳密な定義からは外れてると思うけれど、とりあえずいいんだ（ぉ 整数 integer, Zahlen ０に対して１をたす、ないし引くことで得られる数 自然数 natural number ０からはじまり…

F(a) は 「a が animal である」という命題として。∃dog, F(dog) … there is exists dog that is animal. animal である dog が(少なくとも一つ)います∃dog, ¬F(dog) … there is exists dog that is not animal. animal でない dog が少なくとも一ついます∀d…

勉強ちう。http://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E8%A8%98%E5%8F%B7%E3%81%AE%E8%A1%A8http://sss.sci.ibaraki.ac.jp/teaching/set.html学が無いと苦労するぜ。