Say a proof for the consistency of a formal system (proved within the formal system) is known. There are two possible cases: 1. the formal system is consistent and it can be and has been proven to be, or 2. the formal system is inconsistent (i.e. contains a contradiction), thus anything is provable, hence the proof of its consistency.
Is there a way to determine whether 1 or 2 is the case?