Elementy teorii mnogości, logiki i teorii zbiorów przybliżonych