Pe axioma jeiporavorã oñemboyke avei opaite nunga umi teoría de conjunto intuicionista-pe, jepéramo oĩ versión oñemoneĩha.