In this paper we propose a mathematical framework that can be used for defining cohomology of digital images. We state the Eilenberg-Steenrod axioms and the Universal Coefficient Theorem for this cohomology theory. We show that the Künneth formula doesn’t hold. A cup product is defined and its main properties are proved. 2010 Mathematics Subject Classification. 55N99, 68R99, 68U05, 68U10.