Айсберг логики и теории множеств, который лучше не переворачивать...