OKĘCIE – Zacznijmy od początku: Program Brouwera 04-4-2014 W matematyce są dowody konstruktywne i tzw. dowody nie-wprost (a contrario). Te drugie nie podają rozwiązania, ale pokazują, że przy pewnych założeniach, rozwiązania nie ma,