( )称为公理,( )称为定理,( &