1 |
Hilbertov programPokuaj da se izbjegne i relativnost i poroèna cirkularnost u dokazu konzistentnosti formalnih aritmetièkih sustava putem koritenja samo jednog malog skupa krajnje intuitivnih operaciji za dokaz konz [..]
|
<< Heteroloki paradoks | Hipoteza indukcije >> |