消費税計算するのにいちいちペアノの公理から始めるバカがいる