О непротиворечивости одного фрагмента теории множествтезисы доклада