Can Mathematics Be Proved Consistent?