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,