Upéicha, ha'e hína umi teorema de incompatibilidad de Gödel (hekope'ỹ) oimeraẽ sistema formal efectivo orekóva aritmética básica-pe, opyrũ hatãramo (he'ise hína opaite teorema ikatúva guive oñemboaje añeteteguaha), katuete noĩmbái (he'iséva oĩha teorema añetetegua), ha ndaikatumo'ãi oñemboaje pe sistema rupive.