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