theorem Th36: :: PL_AXIOM:48

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