hrave cisla axioma