>>170
頭が軟らかいと
集合の定義ぬきで
環が公理化できるのか
について、
小一時間問い詰めたい。