Déjà pour une langue formelle aussi retreinte qu'est l'arithmétique, sa non-contradiction ne pourra être démontrée que par un appel à des moyens qui lui soient étrangers.
Pour être heureux en ménage, il faut faire deux concessions aux femmes : d'une part leur faire croire qu'elles portent la culotte, et d'autre part la leur laisser porter.