The article describes research in mathematical knowledge that useful in mathematical teaching. We explain that existing research informs the knowledge about the logico-linguistic aspects of proof that teachers might need, and we argue that this knowledge should be complemented by what we call
knowledge of situations for proving. We identify two sub-components of the knowledge of situations for proving: knowledge of different kinds of proving tasks and knowledge of the relationship between proving tasks and proving activity. More