>>317
選択公理の否定は、数学(解析学)の否定につながるぞ。