Axiomy
axiom je jakákoli věta, tvrzení, výrok nebo pravidlo, které tvoří základ formálního systému. Na rozdíl od vět nejsou axiomy odvozeny principy dedukce, ani nejsou prokazatelné formálními důkazy. Místo toho je axiom považován za platný a slouží jako nezbytný výchozí bod pro dedukci a vyvození logicky konzistentních tvrzení. V mnoha použitích se zaměnitelně používají „axiom“, „postulát“ […]