一 數(shù)理邏輯與代數(shù)命題演算的一系公理（及補(bǔ)注）一種邏輯電路演算的初步構(gòu)作格值模型論中緊致性定理的一種證法格值模型論中的省略型定理關(guān)于合同關(guān)系的可換性實(shí)向量所成的有序環(huán)有限結(jié)合系與有限群（Ⅰ）關(guān)于代數(shù)系統(tǒng)的自同構(gòu)群的一個(gè)注記關(guān)于格值模型論的一些研究關(guān)于可補(bǔ)格的一種分類問題 二 數(shù)理邏輯對(duì)代數(shù)的應(yīng)用一類具有G01dbach性質(zhì)的可換環(huán)二次數(shù)環(huán)的不具有Goldbach性質(zhì)的擴(kuò)環(huán)一些分圓整數(shù)環(huán)的Goldbach及非Goldbach擴(kuò)環(huán)不可數(shù)域的一個(gè)緊致性定理關(guān)于域上無限方陣的逆方陣無限方陣的二平方和定理Goldbach猜想對(duì)于Peano公理組的條件獨(dú)立性——對(duì)一些數(shù)論問題的邏輯討論（Ⅰ）完美數(shù)與親和數(shù)問題對(duì)PA的條件獨(dú)立性——對(duì)一些數(shù)論問題的邏輯討論（Ⅲ）模型論對(duì)多項(xiàng)式理論的一個(gè)應(yīng)用一些三次數(shù)環(huán)的具有及不具有Goldbach性質(zhì)的擴(kuò)環(huán)一種Goldbach可換環(huán)的數(shù)論性質(zhì)歸納的環(huán)和域Hilbert零點(diǎn)定理的推廣某些域上無限方陣的2平方和定理關(guān)于無限方陣的Jordan標(biāo)準(zhǔn)型關(guān)于行列有限方陣的對(duì)角化45-f,1有限的無限矩陣的對(duì)角化某些無限域上多項(xiàng)式環(huán)的Goldbach 3素元性質(zhì)三 數(shù)學(xué)教育結(jié)式定理的一種證法運(yùn)算律的秘密0和1的方程組格值模型論概述（一）一個(gè)數(shù)學(xué)分析問題的獨(dú)立性模型論對(duì)經(jīng)典數(shù)學(xué)的應(yīng)用數(shù)學(xué)基礎(chǔ)研究的一些新進(jìn)展關(guān)于Baire定理等的真假雜談數(shù)學(xué)及其他附錄年表論文和著作目錄后記