La posición contraria, generalmente más aceptada, por lo menos a niveles académicos, se preocupa con cuestiones metodologicas de la Teoría formal, tales como Consistencia (lógica), Decidibilidad, reglas de inferencias; tipos de método, etc.