數理邏輯

貝里悖論：當試圖用「文字」來定義「數字」時產生的矛盾