In mathematics, a weakly compact cardinal is a certain kind of cardinal number introduced by Erdős & Tarski; weakly compact cardinals are large cardinals, meaning that their existence cannot be proven from the standard axioms of set theory. Wikipedia