Toute théorie contenant au moins les axiomes de l' arithmétique est au mieux incomplète, au pire incohérente