A general statement accepted without proof as the basis for logically deducing other statements