内涵公理