The study of the consequences of the fact that 1 + 1 = 2.