proof theory vs model theory