Tag theoretical mathematics