theorem BOOLE'27: :: BOOLE'27:

theorem BOOLE'27: :: BOOLE'27:
  {} c= X
proof let x;
  thus thesis by XBOOLE_0:def 1;
end;

　これは以下の通りです。

$$\{\} \subseteq X$$

証明　

$$\begin{eqnarray*}　 &&xを任意にとるとXBOOLE\_0:def 1により，\\ &&x \in \{\} \Rightarrow x \in X \end{eqnarray*}$$

証明終了