This is a very natural question, but as it happens one needs some more background to give a natural answer (is my humble opinion). For clarity let me give a summary first indication: As to your **Question 1.** : This is commonly thought of as not being possible in strict terms, because '*constructive mathematics*' is usually interpreted as '*that part of alternative constructive mathematical theories which is compatible with classical mathematics*.' Broadly speaking, this interpretation of 'constructive mathematics' is known as BISH (from Bishop-style mathematics). BISH is seen as the common core of classical math (CLASS), intuitionistic mathematics (INT) and 'Russian' recursive mathematics a la Markov (RUSS). Now if we include INT and RUSS in your term 'constructivism'. then the answer to question 1. is yes. This because both INT and RUSS have additional axioms (compared to BISH) that are false classically. You could equally say that CLASS has an additional axiom compared to BISH (namely excluded middle) that is provably false in INT and RUSS. Famous examples of conflicting theorems are: a) All total functions from $\mathbb{R}$ to $\mathbb{R}$ are continuous (a theorem both in INT and RUSS) b) The unit interval is compact in the Heine-Borel sense (a theorem both in CLASS and INT, but false in RUSS). [Finally, if perhaps you mean only propositional first-order logic, then the answer is no again, because usually we use the term 'intuitionistic logic' to indicate that part of classical propositional logic which is valid constructively, which you can think of as `the part without excluded middle'.] ----- I do not understand your second question, could you perhaps elucidate a bit in the light of the above answer to question 1.?