diff --git a/Algo/CM/CM du 04 octobre.md b/Algo/CM/CM du 04 octobre.md
index 17d1ae6..b3f19bf 100644
--- a/Algo/CM/CM du 04 octobre.md	
+++ b/Algo/CM/CM du 04 octobre.md	
@@ -17,4 +17,5 @@ Axioms
 	lowerlimit(v) =< i =< upperlimit(v) -> nth(modify(v,i,e), i) = e
 ```
 In this example, the axiom explain that it check nth position in the modified vector
- 
\ No newline at end of file
+
+The axiom can't be contradictory. Two (or more) contradictory axioms are call the consistency. When we create the axiom, we have to remove all the consistency. 
\ No newline at end of file