(noun.) (logic) a declaration of something self-evident; something that can be assumed as the basis for argument.
亚历克斯编辑