>>498
違いはねぇよ
公理から出来る命題は全部定理