O Princípio de não-contradição e sua tradução para a aritmética transreal