Stone's representation theorem for Boolean algebras needs the Boolean prime ideal theorem.
Θεώρημα αναπαράστασης Stone για Boolean algebras χρειάζεται το Boolean πρωταρχικό ιδανικό θεώρημα.