 There are, however, certain restrictions of the axiom that are acceptable for the intuitionist, for example the axiom of countable choice, also accepted as a legitimate principle by the semi-intuitionists to be discussed below: