数の論理