高木君は公理、定義、定理、命題、補題、系は知ってるの？