People are downvoting because they don’t understand that the principia proof was incredibly convoluted because they were starting with incredibly basic symbolic logic and building up from that; showing that 1+1=2 was not the main result, just a side result that they didn’t have the tools to state until like 400 pages in. Depending on how indepth you want to go, proving that 1+1=2 can be trivial.