Uno de los problemas a considerar es la ___________ de las teoras matemticas, es decir, preguntarse si existe para toda teora un conjunto _____________ de axiomas a partir de los cuales se pudiese derivar formalmente todos los teoremas de la teora considerada