In
set theory, a branch of
mathematics, a
reflection principle says that it is possible to find sets that resemble the class of all sets. There are several different forms of the reflection principle depending on exactly what is meant by "resemble". Weak forms of the reflection principle are theorems of
ZF set theory due to , while stronger forms can be new and very powerful axioms for set theory.