Three dominant themes from the discussion
| Theme | Supporting quote |
|---|---|
| 1. Explicit foundations are often required | “In the modern academic practice, the question of where a particular idea came from, or whether an axiom is ontologically correct, is considered vacuous and out of scope. For the most part, you’re just handed a rulebook to play someone else’s game.” – Diogenesian |
| 2. Everyday language can be mis‑interpreted logically | “It only makes ‘do’ a necessary (not sufficient) condition for ‘can’.” – sebastiennight |
| 3. Axioms vs. theorems can cause frustration | “When they were axioms, I remember always being comfortable, like ‘sure I can assume things,’ but as theorems there’s always that bit of ‘wait hold up you can’t just do that without saying more.’” – 6gvONxR4sf7o |