this demonstration provides the freedom of contradiction for parts of the classical analysis