请写出一个定义,两个公理,四个假命题