2. Orok.
sin. probar

Logikaren edo matematikaren bidez zerbait egiazkoa edo baliozkoa dela erakutsi.