Niniejsza książka jest wykładem w ujęciu systematyczno-historycznym. Znaczty to, że tematy logiczne i teoriomnogościowe podjęte są w sposób i w kolejności wynikającej z zamiaru ich jednolitego ujęcia, a także to, że dąży się do ukazania ich kontekstów historycznego oraz filozoficznego. Zarówno logika jak i teoria mnogości mają głębokie korzenie filozoficzne. Dobra intuicja jednego i drugiego, logiki i teorii mnogości, nie może więc obyć się bez wskazania ich źródeł filozoficznych i historii dociekań nad ich podstawowymi zagadnieniami.Książka podzielona jest na dwie zasadnicze częśći. Pierwsza poświęcona jest logice. Druga zaś teorii mnogości. W części pierwszej korzysta się z pewnych podstawowych pojęć teoriomnogościowych, choć w sposób systematyczny są one wprowadzone dopiero w części drugiej. Wystarczającą intuicję tych pojęć, jak można przyjąć, wynosi się już ze szkoły średniej. Za to w części poświęconej teorii mnogości, można już korzystać z aparatury pojęciowej logiki. To podejście implicite zakłada jednak większą jasność niektórych podstawowych pojęć teoriomnogościowych (mianowicie tych, które są wykorzystane w wykładzie logiki) niż pojęć logicznych. |
