Intuiciismo: Malsamoj inter versioj

[nekontrolita versio][kontrolita revizio]
Enhavo forigita Enhavo aldonita
Neniu resumo de redakto
Neniu resumo de redakto
Linio 2:
Intuiciistoj opinias, ke objektoj de matematiko estas konstruitaj kaj manipulitaj de la menso de la matematikisto pro tio, ke ne eblas defini la ecojn de matematikaj objektoj nur per predikata logiko.
 
Specife, intuiciistoj malakceptas la [[Leĝo de laneekzisto ekskluditade mezotria eblo|leĝon de laneekzisto de ekskluditatria mezoeblo]] kiu permesas pruvi pozitivajn asertojn per kontraŭdiro-pruvo.
 
Tiu skolo estas, ja, matematika rigardo pri Dia ekzisteco (Dio povas sukcesi vidi senfinan aron tute, homo povas sukcesi vidi nur kelkajn erojn pri la aro).