Besonderhede van voorbeeld: -5795405548184161231

English

Equivalently, all tautologies of sentential logic can be taken as axioms.

Esperanto

Aparte, ĉiuj taŭtologioj de la logiko povas esti pruvitaj.