ตรรกศาสตร์เเละทฤษฏีเซต