Mbohapy escuela, formalismo, intuicionismo ha logricismo, oñepyrũ ko'ápe, michĩmi heta hetave ojejepy'apy rupi matemática rehe oĩhaichaite, ha análisis en particular, nombojojái va'ekue umi estándar de certeza ha rigor oñemohenda ha oñeme'ẽmbáma va'ekue.