Section うみねこ8のメモ. Definition Pow (S : Set) : Type := S -> Prop. Variable Animal : Set. Definition animal (a : Animal) : Prop := True. Variable human : Pow Animal. Axiom 人間は1人はいてはる : exists h : Animal , human h. Theorem 人間…