Zbiory i relacje w logice matematycznej