
Francisco Antonio Doria
Artikeln
XInformal versus formal mathematics
2007
Synthese 154/3
Is there a simple, pedestrian arithmetic sentence which is independent of ZFC?
2000
Synthese 125/1-2

Artikeln
XInformal versus formal mathematics
2007
Synthese 154/3
Is there a simple, pedestrian arithmetic sentence which is independent of ZFC?
2000
Synthese 125/1-2