set A = {0,1};
0 in {0,1} by ZFMISC_1:32;
then consider a being Element of {0,1} such that
C1: a = 0 ;
1 in {0,1} by ZFMISC_1:32;
then consider b being Element of {0,1} such that
C2: b = 1 ;
take L = Values_with_TF(# {0,1},a,b #); :: thesis: L is consistent
thus L is consistent by C1, C2; :: thesis: verum