浙大的数学大神帮帮忙
浏览量：4304 回帖数：5
1楼
N[0]是归纳集，证明对N[0]的任何元素x,y（而它们本身是**）来说，一下诸关系成立：
1.card x <=card x+
2.card 空集 <= card x+
3.card x < card y <==> card x+ <card y+
4.card x < card x+
5.card x < card y ==> card x+ <= card y
6.x=y <==> card x = card y
N[0]是归纳集，证明对N[0]的任何元素x,y（而它们本身是**）来说，一下诸关系成立：
1.card x <=card x+
2.card 空集 <= card x+
3.card x < card y <==> card x+ <card y+
4.card x < card x+
5.card x < card y ==> card x+ <= card y
6.x=y <==> card x = card y
签名档
如果我爱你是×， 那么我不想我√ 如果因√而失去你，那我宁愿×一悲子 在離開後﹎﹎. ..^ 才知道什麽叫思念メ...╭﹀╮..ooo. .┈﹎錯過之後﹎┈.シ┈×. ╲╱.... ┈→′ˉ ..ヾ才更加明白什麽該珍惜
发表于 2012/8/1 16:09:50
