See the [Prime ideal theorem](http://en.wikipedia.org/wiki/Boolean_prime_ideal_theorem).