否定とは 数学