He also claimed that arithmetic could never be proved consistent if one defined arithmetic by a system of axioms as Hilbert had done.
Siya rin ang inaangkin na arithmetic ay hindi proved pare-pareho kung ang isang tukoy na arithmetic sa pamamagitan ng isang sistema ng axioms bilang Hilbert had tapos na.