12,080
edits
Changes
add section [inquiry into intuitionism]
<math>(\forall x \in X)(Px \Rightarrow Qx) \lor (\forall x \in X)(Qx \Rightarrow Px)</math>
<math>(\forall x \in X)(Px \Rightarrow Qx) \lor (\forall x \in X)(Qx \Rightarrow Px)</math>
</blockquote>
</blockquote>
==Inquiry Into Intuitionism==