Since, as an informal notion, the concept of effective calculability does not have a formal definition, the thesis, although it has near-universal acceptance, cannot be formally proven.
Пошто, као неформални појам, концепт ефективне предвидивости нема формалну дефиницију, теза, иако има скоро универзалну прихваћеност, не може бити формално доказана.