
Francisco Antonio Doria
Articles
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

Articles
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