Timeline for In what sense does the sentence $\operatorname{con}(\mathsf{PA})$ "say" that $\mathsf{PA}$ is consistent?
Current License: CC BY-SA 4.0
1 event
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 25, 2023 at 13:19 | history | answered | Rodrigo Freire | CC BY-SA 4.0 |