Wikipedia:WikiProject Mathematics/Assessment/Foundations, logic, and set theory/High