>>34
どっちも糞だろ
公理重視のブルバキが正しい