Gaps Between Logical Theory and Mathematical practice