शोध निकाल

matemática que puede ser demostrada dentro de un sistema formal (es); olyan állítás, ami korábban bizonyított állításokra alapozva be lett bizonyítva (hu);...