Timeline for True or false or not-defined statements
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 24, 2012 at 1:42 | comment | added | Carl Mummert | Any statement can be proven, if we take a sufficiently strong set of axioms - particularly if we take the statement itself as an axiom. There are results of the form "statement $X$ is not provable in the specific system $Y$" but these cannot be summarized as "$X$ cannot be proven". | |
| Sep 23, 2012 at 5:49 | review | First posts | |||
| Oct 9, 2012 at 2:15 | |||||
| Sep 23, 2012 at 5:46 | history | answered | Hannes R. | CC BY-SA 3.0 |