13 Mar
1994
13 Mar
'94
9:21 a.m.
The first-order properties of a Grothendieck topos include all of first-order arithmetic, hence there can not be a complete axiomization.