本書內(nèi)容從三個(gè)方面進(jìn)行: 第一個(gè)方面: 以尋求能夠避免說謊者悖論及其變體的“理想真理論”為線索, 對(duì)以一階邏輯和皮亞諾算術(shù)為基礎(chǔ)理論的經(jīng)典公理化真理論的基本理論和研究框架進(jìn)行概述。第二個(gè)方面: 減弱經(jīng)典公理化真理論的基礎(chǔ)理論, 將一階邏輯減弱為直覺主義邏輯, 系統(tǒng)地研究基于直覺主義邏輯的公理化真理論。第三個(gè)方面: 加強(qiáng)經(jīng)典公理化真理論的基礎(chǔ)理論, 將皮亞諾算術(shù)加強(qiáng)為集合論, 系統(tǒng)地研究基于集合論的公理化真理論。