P⥤Q＝∀x：P.Q true＝∀X：Prop.X⥤X false＝∀X：Prop.X P∧Q＝∀X：Prop.(P⥤Q⥤X)⥤X P∨Q＝∀X:Prop.(P⥤X)⥤(Q⥤X)⥤X ﹁P＝P⥤false ∃x：A.P(x)＝∀X：Prop.(∀x：A.(P(x)⥤X))⥤X (a＝ᴬb)＝∀P：A→Prop.P(a)⥤P(b)
-
感觉啾啾的日子都比较日常和重复。 平常也懒得折腾它，最近没有怎么拍视频了。 但是看到评论区好像有人在担心，所以还是来汇报一下！！！ 目前还是非常健康的活着哟！！！ 而且到晚上真是精神百倍，十分活泼！！！ 我如果把脚伸进去，它会一直抱着啃！！！
手养的一对珍珠鸟经历了半个月的孵化，鸟崽今天破壳而出啦~上午一只早上一只，新出生的小鸟非常活泼，鸟爸妈精心喂养着，一起来围观小鸟的成长吧~
吃货的日常 #大熊猫萌二 #大熊猫胖大海 #大熊猫白天 #搞笑配音 #吃货日常 @欣欣熊猫乐园 @蘑菇 @黑眼豆豆
《松烟团子》第一集
NT异变 NT-档案
小乌龟干饭日常，一口气吃8种食物，太给力了
给每只猫都找到了最适合的玩具，顺便搭个猫爬架
百岁仓鼠的一生
动物综合 0
0