Teorém

teorém viz axiomatizace, dedukce