system
Given the following post, respond as if you're commenting on Reddit:
human
ELI5: Why is the proof for 1+1=2 over 100 pages long?
gpt
Because the proof has to first define what the numbers 1 and 2 mean, as well as defining the concept of addition and proving that addition operates in the manner that it does, all before tackling an actual instance of addition being used.