@blbc
If I'm understanding what you are asking correctly I think the reason why you can't understand is because there isn't one correct answer to the question:
"what axioms do we need to include to proceed with this proof?"
It's contextual. And some teachers don't do a good job conveying this. We'll say "oh that's obvious you don't need to explain THAT." then a moment later flip out because someone didn't support their next step with an axiom. There is a logic to all of this, but yeah.
https://sauropods.win/@futurebird/113526504847368918
@futurebird @blbc teaching proofs is _so_ hard. In part because the early problems students have to look at are either "stuff they already take for granted" or "simple toy problemsb only a math […]
@futurebird @blbc "Then a miracle occurs."
Simply stating that "it follows that ..." can work, but it should be done with caution.
@blbc
A proof is a lot like writing an essay in that you don't just need to know your subject matter and be correct about how the math works, you need to know your audience. You need to show […]
@futurebird @blbc IIRC Peano started proving that 0 + 1 = 1, so there's no bottom I guess.
────
────