492 reputation
411
bio website None
location Montreal, Canada
age 41
visits member for 4 years, 1 month
seen May 10 at 23:33

I have no properties.


May
3
awarded  Popular Question
Jan
25
awarded  Enlightened
Jan
25
awarded  Nice Answer
Jan
25
awarded  Good Question
Jan
25
awarded  Yearling
Jul
28
awarded  Yearling
Aug
20
awarded  Critic
Aug
19
awarded  Nice Question
Aug
12
answered How to do homework for a class in Symbolic Logic on my computer?
Aug
9
awarded  Scholar
Aug
9
accepted Why is compactness in logic called compactness?
Aug
6
comment Has anyone ever proposed additional axioms?
Adding axioms makes more theorems provable. They need not be though of as truths. You can add either the Axiom of Choice or its denial to standard set theory, extending the set of theorems in disjoint ways. On one natural interpretation of that, only one of those two sets of novel theorems is a set of truths.
Aug
6
comment Has anyone ever proposed additional axioms?
Cohen showed that neither Choice nor the Continuum Hypothesis could be proved in ZF. It was earlier work of Goedel's that showed that they cannot be disproved in ZF.
Aug
4
awarded  Editor
Aug
4
revised Definition of a set
added reference to Basic Law V
Aug
4
answered Definition of a set
Jul
31
answered Are there more rational numbers than integers?
Jul
28
comment Higher Order Logics
Yes. This is why I said "A further sense in which Higher Order Logics with standard or saturated semantics (HOL, hereafter)".
Jul
28
awarded  Peer Pressure
Jul
28
awarded  Supporter