De normal as contrimuestras matematicas s'enuncian en tres partis: hipotesi, tesi y contrimuestra, an que l'enunciato de contrimostrar no ye a hipotesi sino a tesi, as hipotesi son en cambio as condicions en que s'operan, que s'emplegan chunto a os axiomas d'a teoría que s'emplega ta obtener a contrimuestra.