Đại số Lindenbaum–Tarski