The physical impossibility of machine computations on su ffi ciently large integers inspires an open problem that concerns abstract computable sets X ⊆ N and cannot be formalized in ZFC as it refers to our current knowledge on X