Timeline for Can adding Hilbert's epsilon to a theory, and then expanding that theories axiom schema to include the new language, cause it to become inconsistent?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 15, 2023 at 10:10 | comment | added | Joel David Hamkins | A user edited my answer from "no" to "yes", but notice that as discussed in the comments above, "yes" is for the question asked in the title of the OP and "no" is for the question asked in the body text of the OP. | |
| S Mar 15, 2023 at 3:25 | history | suggested | CommunityBot | CC BY-SA 4.0 |
After looking carefully, I'm certain that the correct answer is "yes, this can happen", not "no, this can happen".
|
| Mar 15, 2023 at 1:47 | review | Suggested edits | |||
| S Mar 15, 2023 at 3:25 | |||||
| Sep 16, 2017 at 23:15 | vote | accept | Christopher King | ||
| Sep 16, 2017 at 23:07 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |