unique homomorphic extension theorem

result in mathematical logic which formalizes the intuition that the truth or falsity of a statement can be deduced from the truth values of its parts

Categories: