Activity for rmf
| Type | On... | Excerpt | Status | Date |
|---|---|---|---|---|
| Edit | Post #291021 |
Post edited: |
— | over 2 years ago |
| Edit | Post #291021 |
Post edited: |
— | over 2 years ago |
| Edit | Post #291021 |
Post edited: |
— | over 2 years ago |
| Comment | Post #290814 |
It seems there are differing opinions on:
* [Codidact FAQ](https://forum.codidact.org/faq)
* [(When) is cross-posting ok? - Cooking](https://cooking.codidact.com/posts/288532/288533)
The FAQ seems to say no to cross-posting, but doesn't specify where it is cross-site or cross-community (e.... (more) |
— | over 2 years ago |
| Edit | Post #291021 |
Post edited: |
— | over 2 years ago |
| Edit | Post #291021 |
Post edited: |
— | over 2 years ago |
| Edit | Post #291021 |
Post edited: |
— | over 2 years ago |
| Edit | Post #291021 |
Post edited: |
— | over 2 years ago |
| Edit | Post #291021 |
Post edited: |
— | over 2 years ago |
| Edit | Post #291021 | Initial revision | — | over 2 years ago |
| Answer | — |
A: What are the Peano axioms? Yes, your right the axioms are (usually) written in first-order logic (FOL). However, we can "cheat" by using natural language to describe our axioms (which is done in the Wikipedia article). After all at some point some axioms will need to be defined in natural language. (e.g.: If Peano A... (more) |
— | over 2 years ago |