Ah, you confuse me for a seeker of knowledge, when in fact I possess that knowledge. I can prove that counting works and that addition works, which means I can also prove subtraction, multiplication, and division as trivial roots. :)
Most importantly, by changing a few postulates, I can prove...