10 postulate: 명제