Comment by perthmad

This integer only exists if you assume classical logic. Otherwise, there is no such integer a priori, and actually there is none in general.