1. Are there examples of where classical logic proves a theorem that provably is false within constructivism? 

2.  What are some examples of most contrasting theorems provable in these two logics that does not fall in category 1.?