Non Locality Proofs in Quantum Mechanics Analyzed by Ordinary Mathematical Logic