本書雖按公理方法的基本要求展開的，但仍以初等
集合論為中心，是一本數理邏輯的入門書，為命題邏輯和謂詞邏輯提供了直觀背景。全書共分17章，依次介紹了集合論的基本概念，證明與邏輯；集合的初等運算；極小元與正則公理，自然數集合與
數學歸納法；冪集合；集合的廣義交與並；笛卡爾積與分離公理；關係、
函數；自然數的函數、
遞歸定理；超冪與超積；偏序結構與良基關係；等價與同構；整數與有理數；
實數的構造；序數與超窮結構；集合的勢。另外，在附錄中作者簡要敘述了ZF公理系統。
本書可作為
中學數學教師進修用書，也可供高中學生、大專學生的閱讀參考書。
科學出版社1984年9月第1版，19.3萬字，責任編輯：陳永鏘、畢穎。
