@kusano_k

@_329_ いや、もちろん、どんな公理系でもありうるんでしょうけど、だからこそ何らかの意味のある公理系を考えるのかなと。ユークリッド幾何が球面状で成り立たない→非ユークリッド幾何を考えよう、みたいな。