>>481
公理は恒真式なんですか?