axioma pohadky o honzovi neuveden