Kóva tekotevẽterei umi predicicón oguenohẽva umi teoría hetaiteri rupi, upeva he'ise ndaikatuiha ojeikuaa mba'eve oñeñepyrũvo cantidad finito de evidencia guive ojeiporúvo lógica deductiva añoite.