逻辑已经不在数学系了，在哲学系。：）