前言
羅素的集合演算(其內(nèi)容包括[1]的*20、*22和*24)在經(jīng)朗厄的[2]予以改進(jìn)之后,有別于當(dāng)前中學(xué)數(shù)學(xué)中集合知識(shí)的僅在于其論述的深刻性和系統(tǒng)性,從這方面看,它迥異于現(xiàn)今流行的公理集合論,后者排除了中學(xué)數(shù)學(xué)所承認(rèn)的全集(參閱[3])。
本文假定讀者熟知關(guān)于各個(gè)聯(lián)結(jié)詞(包括“蘊(yùn)涵”和“等值”)的真值表,了解全稱量詞和存在量詞的含義,并且會(huì)用這些語詞的記號(hào)表達(dá)通常的數(shù)學(xué)命