Umi ñe'ẽnguéra oñemohenda ambue mbojojaha oĩvarehe (equivalencia, reducción ha conversión), ha'éva umi teoría axioma ha ikatu ojekuaa cálculo mbojojaháramo.