Tagraigh don chéim thíos agus ansin freagair an cheist ina dhiaidh sin sa teanga chéanna leis an gcéim: Céim: Go deimhin, i suíomh axiomatic ní chuireann rigorous aon rud leis an smaoineamh ar dhearbhú. Is é an mhatamaitic íon, de réir dearcadh is féidir a chur i leith an ghrúpa Bourbaki, an rud a léirítear. Tháinig matamaiticeoir íon ina ghairm aitheanta, is féidir a bhaint amach trí oiliúint. Ceist: An bhfuil cruthúnas curtha leis?
Ní chuireann aon rud leis an smaoineamh ar fhianaise