作为证明依据的六条公理