Elementary propositions and independence
scientific article; zbMATH DE number 935230