Wikipedia:WikiProject Mathematics/Wikipedia 1.0/Foundations, logic, and set theory