MOT

Olen aina ajatellut että matematiikassa todistuksen lopussa käytettävä m.o.t eli "mikä oli todistettava" viittaa siis siihen että tehtävä on saatu ratkaistua eli todistettua halutulla tavalla. Olen siis ymmärtänyt sen niin, että "lauseke/tehtävä/tms. oli todistuskelpoinen" eli todistettavissa eli todistettava. Nyt heräsin (monen vuoden matematiikanopintojen jälkeen) pohdiskelemaan, josko se tarkoittaakin että annettu tehtävä on suoritettu eli "mikä oli tehtävänä todistaa". Kummin te sen ajattelette?