看過Elliott Mendelson的Introduction of Mathematical Logic，然後為了一些關於新增function letter的證明參考過Kleene的Introduction to Metamathematics，現在遇到的問題是：
（1）von Neumann–Bernays–Gödel 集合論關於有序對的class做重排的公理，觸發我思考能不能找到一組metalogic的公設先行把重排的觀念併入（不預設整數存在的）metalogic ，難點是怎麼定義何謂重排，然後證明相鄰交換可以得到任意重排。
（2）證明新增function letter的理論等效於原理論的過程，找不到一個在metalogic層面遞迴定義“包含新function letter的well-formed formula”來說明描述新舊理論WFF的對應,並以此為基礎去證明新舊理論等效。
（3）翻過一些文獻發現把一階邏輯的標準語義套進一階公理化集合論會有矛盾。
希望有興趣的人不拘男女老少一起討論或指教XD
