Talk:Decidable sublanguages of set theory