logique_mathematique:logique:paradoxe