Без заголовка

"сроки уже все прошли, а мы продолжаем экспериментировать и думать. " - были ли эксперименты перехода на единый язык терминологии теории множеств при отображении/классификации статики (т.е., не динамики/процессов/функций)? Если да, то где можно их увидеть, обсудить?