Som är godkända utan bevis i ett logiskt system förutsätter axiom satser eller medlemstaternas?

Axiom och postulat accepteras utan bevis i ett logiskt system. Satser och därav kräver bevis i ett logiskt system.