Symbols:Abbreviations/B/BPI

From ProofWiki
Jump to navigation Jump to search

Abbreviation: BPI

The Boolean Prime Ideal Theorem.