Stav dette: Admissible sets and structures : an approach