8.4 独立公理（公理1）