The consistency of a variant of,church's thesis with an axiomatic theory of an epistemic notion

In this paper we prove the consistency of a variant of Church's Thesis than can be formulated as a schema in a first order language with a modal operator for intuitive provability. We also conjeture the consistency of a stronger variant.