>>708
覚えておく必要はありません
なぜならば、高校では公理の概念をやらないからです