Аксиомы нужны не столько как примеры элементарных утверждений, сколько как примеры непротиворечивых утверждений, которые нельзя истолковать так, чтобы они стали противоречивыми. И тем самым они показывают, что и доказательства, даже если они сложны, могут оказаться непротиворечивыми, если определенная аксиоматика понимается как неотъемлемая от процедур доказательства, а значит, процедура оглядывается на собственные свойства аксиоматики, а именно, непротиворечивость. Так что люди бы доказывали, но доказывали бы ситуативно, противоречиво, как это бывает в нерациональных интеллектуальных традициях, например, в советах мастеров дзэна, которые и хороши своей противоречивостью и странностью.