L'HUMOUR ET L'IRONIE EN LITTERATURE FRANCOPHONE
Tout système d'axiomes (formules closes) sur une signature au plus dénombrable soit permet d'obtenir une preuve de l'absurde, soit admet un modèle au plus ...
Tout système d'axiomes (formules closes) sur une signature au plus dénombrable soit permet d'obtenir une preuve de l'absurde, soit admet un modèle au plus ...