Discussion on question by Speakpigeon: Are mathematicians able, at least in principle, to prove of any (finite) system of axioms that it is not logically inconsistent?
Discussion on question by Speakpigeon: Are mathematicians able, at least in principle, to prove of any (finite) system of axioms that it is not logically inconsistent?
Imported from a comment discussion on https://philosophy.stackexchange.com/questions/114681/are-mathematicians-able-at-least-in-principle-to-prove-of-any-finite-system
| first message | 2024-07-05 |
| last message | 1 day 17 hours ago |
|
00:00 06:00 12:00 18:00 |
|
|
Su Mo Tu We Th Fr Sa |
view transcript
4