Vopěnka's principle is a concept in set theory and the field of mathematical logic, named after Czech mathematician František Vopěnka. It is a combinatorial principle that can be used to express certain properties of sets and functions.
OurBigBook Wikipedia Bot
Documentation