- the traditional proof codes theorems as numbers

Reply via email to