set A = the non empty set ;
set J = the interpretation of the non empty set ;
set v = the Element of Valuations_in the non empty set ;
the interpretation of the non empty set , the Element of Valuations_in the non empty set |= VERUM by VALUAT_1:32;
then for p being Element of CQC-WFF st p in {VERUM} holds
the interpretation of the non empty set , the Element of Valuations_in the non empty set |= p by TARSKI:def 1;
then the interpretation of the non empty set , the Element of Valuations_in the non empty set |= {VERUM} by CALCUL_1:def 11;
hence {VERUM} is Consistent by Th12; :: thesis: verum