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