"The words of... mathematical demonstration merely accompany a mathematical construction that is effected without words. At the point where you enounce... contradiction ...the construction no longer goes ...the required structure cannot be embedded in the given basic structure. ...[T]his observation, I do not think of as a principium contradictionis [principle of contradiction]."