Activity for rmf
| Type | On... | Excerpt | Status | Date |
|---|---|---|---|---|
| Edit | Post #291021 |
Post edited: |
— | about 1 year ago |
| Edit | Post #291021 |
Post edited: |
— | about 1 year ago |
| Edit | Post #291021 |
Post edited: |
— | about 1 year 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) |
— | about 1 year ago |
| Edit | Post #291021 |
Post edited: |
— | about 1 year ago |
| Edit | Post #291021 |
Post edited: |
— | about 1 year ago |
| Edit | Post #291021 |
Post edited: |
— | about 1 year ago |
| Edit | Post #291021 |
Post edited: |
— | about 1 year ago |
| Edit | Post #291021 |
Post edited: |
— | about 1 year ago |
| Edit | Post #291021 | Initial revision | — | about 1 year 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) |
— | about 1 year ago |