>>525
曖昧さを排除するのが「数学的」何じゃないですかね?