postulate: (logic) a proposition that is accepted as true in order to provide a basis for logical reasoning
proposition: (logic) a statement that affirms or denies something and is either true or false
smiley: an emoticon of a smiling face