Stav dette: Convergentis en divergentie in de intuitionistische wiskunde.