propositie - onderdeel van een logische redenering met betrekking waartoe men de vraag kan stellen of die al dan niet waar is. Synoniem met bewering, uitspraak en stelling. Een formule wordt uitgedrukt in wiskundige symbolen. Krachtens afspraak is een axioma onaantastbaar. Uit als waar gekende premissen wordt een conclusie afgeleid. (Zie: uitgangspunt.) Niet-bewijsbaar is een postulaat, dat wordt aangenomen omdat daarop kennis berust, of de naleving van een zedelijke wet. Via een logische redenering kan uit axioma's en/of andere beweringen die eerder zijn bewezen een theorema of stelling worden afgeleid. Een hypothese is een stelling die men, met het oog op een praktisch of theoretisch doel, als waar laat gelden, zonder te weten of hij waar is; een gecompliceerde hypothese heet een theorie. De waarheid van een these, thesis of stelling berust op een bewijs. Uit een of meer premissen trekt men een conclusie.