The methods and aims of this work are probably more easily intelligible and more interesting to the 'ordinary' mathematician than those of any other branch of mathematical logic.
Ang mga pamamaraan at mga hangaring ito ng mga trabaho ay marahil na mas madali at mas maliwanag na interesante sa ang 'karaniwang' dalubbilang kaysa sa mga iyon ng anumang iba pang sangay ng matematika na lohika.