The fundamental problem with these systems is Goedelian. Kurt Goedel showed that formal systems like this are unable to extract themselves from these systems.