Prove that 1+1=2
Make a number line of integers, 1, 2, 3, 4, etc. Start at 1. Move to the right by one since we're adding one. We end up at 2. QED.
Tbh I don't know what sorts of axioms you're allowed to start with when proving 1+1=2. It seems strange that the proof would be so complicated.
Retrospring uses Markdown for formatting
*italic text* for italic text
*italic text*
**bold text** for bold text
**bold text**
[link](https://example.com) for link
[link](https://example.com)