Axiomatická výstavba matematických teorií pro IV. ročník gymnázií se zaměřením na matematiku