Description: Which approach to formalism better matches our normal reasoning, proof theory or model theory? Resource page concerned with this controversy maintained by Ruth Byrne.