@elomatreb @jk The thing is, it's not wrong when you work in Von Neumann numeral system. You can map each '1' to a set of empty sets (what Von Neumann used), so If 1 = {}, and 11 is {{}}{}, and 111 is {{{}}{}}{{}}{}, etc. then it's provable that 2 is greater than 1, and from that, the fundamentals of basic arithmetic can be logically proven.
If only you'd known about Von Neumann's numbering system and attempts to prove 2 > 1, then they might have advanced you a few grades instead.