定律定理公理