theory (mathematics)