A model to analyse argumentations supporting impossibilities in mathematics