Vopěnka's principle

ID: vopenka-s-principle

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.

New to topics? Read the docs here!