-
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)
薛定谔的冰柜，保温箱里的冷冻食品开箱。 疲惫的刺猬和忙碌的喜鹊。 冷冻饲料在自制保温箱里待了12小时，居然幸存了下来！ 库巴帮我们拆箱，猫马洛施卡则在旁边监督。 冰柜自己都不知道它是工作还是不工作。 底部还在冷冻，但顶部效果不佳。 最终我们订购了一个新冰柜。 就是昨天选的那个便宜的。预计9月11日送达。 刺猬来我们家帮忙吃掉我们没吃完的东西， 已经累到必须侧躺着吃了！做一只刺猬真是太辛苦了！ 这都怪喜鹊睡得太久，不好好帮忙！
这猫真难伺候
敲标签的时候，我还会习惯性的第一个打出X，每次都很难过
《松烟团子》第一集
NT异变 NT-档案
小乌龟干饭日常，一口气吃8种食物，太给力了
给每只猫都找到了最适合的玩具，顺便搭个猫爬架
百岁仓鼠的一生
动物综合 0
0