The method in the Stone Representation Theorem is generalized and a set theoretical representation of Church Monoid is given, by which a new proof of Theorem 1 is offered.

• 本文推广 Stone Representation Theorem中所用的方法给出了 Church Monoid的集合表示 .；而且根据此表示定理；给出了定理 1的一个新证明