だが数学の正しさは多様性に依らない。