for A being Element of PL_axioms holds
( A is axpl1 or A is axpl2 or A is axpl3 )