Apodeictic

An apodeictic proposition in Aristotelean logic asserts things which are necessarily or self-evidently the case or impossible, in contrast to assertoric propositions which merely assert that something is or (is not) the case, or problematical propositions which assert only the possibility of something being true. For instance, "Two plus two equals four" is apodeictic. "Chicago is larger than Omaha" is assertoric. "A corporation could be wealthier than a country" is problematic.