Wikipedia:WikiProject Outlines/Wish list/Mathematics and logic