Activity for rmf
| Type | On... | Excerpt | Status | Date |
|---|---|---|---|---|
| Edit | Post #291021 |
Post edited: |
— | 10 months ago |
| Edit | Post #291021 |
Post edited: |
— | 10 months ago |
| Edit | Post #291021 |
Post edited: |
— | 10 months 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.g. p... (more) |
— | 10 months ago |
| Edit | Post #291021 |
Post edited: |
— | 10 months ago |
| Edit | Post #291021 |
Post edited: |
— | 10 months ago |
| Edit | Post #291021 |
Post edited: |
— | 10 months ago |
| Edit | Post #291021 |
Post edited: |
— | 10 months ago |
| Edit | Post #291021 |
Post edited: |
— | 10 months ago |
| Edit | Post #291021 | Initial revision | — | 10 months 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 Axiom... (more) |
— | 10 months ago |