Changes

31 bytes added ,  13:42, 10 December 2008
add section [inquiry into intuitionism]
Line 676: Line 676:  
<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==
12,080

edits