>>9
「公理から出発」の意味が分からないのが>>9