摘要：近百年來,數學家、邏輯學家們使用了公理集合論、類型論等方法多次重塑我們對邏輯悖論及其解決方案的理解。發現悖論與拯救悖論的過程對推動現代數學、分析哲學、語義學的發展起到不可替代的作用。在本文中,筆者對一些邏輯悖論中的某些關鍵推理并沒有如常規操作那樣,刻意去解決或阻止;而是在分析悖論產生的過程中,探求其本質,找到悖論為我們所用的觀點。如果采取更廣義的邏輯和數學框架,邏輯悖論也能從“威脅論”重塑為一種極重要的資源,推動邏輯學科的發展,尤其是對高階邏輯的應用。與類型論相比,一種無類型的集合論的目標是在不得到悖論的情況下,得到一個表達力強的邏輯。