Wikipedia:Requested articles/Mathematical Logic