Is there any calculus whose algebraization is a countable Lindenbaum algebra, i.e., a sigma-complete Boolean algebra after identification of equivalent formulas?