>>483
公理とはA→Aのことですか?

>>484
>>461
>仮定を結論の前提に組み入れることを表してる
これはなんですか?