やべえ公理系の概念すら理解してないくさい
理解してたら「導出」なんて絶対に書けない