Tahsi̊n ÖnerMehmet Terziler2025-10-06201328175204, 03817032https://www.scopus.com/inward/record.uri?eid=2-s2.0-84901777851&partnerID=40&md5=1806d63a764c257f6c7dae8be53977dfhttps://gcris.yasar.edu.tr/handle/123456789/10127In this paper we prove that every countable set of formulas of the propositional logic has at least one equivalent independent subset. We illustrate the situation by considering axioms for Boolean algebras, the proof of independence we give uses model forming. © 2023 Elsevier B.V. All rights reserved.EnglishAxiomatizability, Classical Logic, Completeness, Consistence, IndependenceArticle