math is a language but not proof of anything part 11