Costruttivismo (=def) perche' un oggetto matematico esista e' necessario costruirlo.
Non e' accettata la dimostrazione per assurdo della sua esistenza, senza la sua costruzione.
When one assumes that an object does not exist and derives a contradiction from that assumption, one still has not found the object and therefore not proved its existence, according to constructivism. This viewpoint involves a verificational interpretation of the existence quantifier, which is at odds with its classical interpretation.
Dimostrazioni: catena di implicazioni, contrapositivo, assurdo.