User contributions for 212.193.78.149
Jump to navigation
Jump to search
26 November 2014
- 10:1810:18, 26 November 2014 diff hist −1,133 Gödel's ontological proof axioms 1,2,3 define a principal ultrafilter but not axiom 4. Axiom 4 singles out positive properties (not axiom 1) current