4.211

Una caratteristica della proposizione elementare è che nessuna proposizione elementare può contraddirla.