Definability Analysis in Set Theory Protocol Design | Definability Analysis in Set Theory | Mathematics | NEROS