Answer to a related question on MSE about the cardinality of the set $\Omega := \mathcal{P}(1)$ of truth values. (Beware that I use slightly different definition of “finite”, “subfinite”, etc., than in Andrej Bauer's answer below.)
↧