Report - Logique Intuitionniste - quirin.science · Proposition 1.1 Il existe deux irrationnels aet btels que ab soit rationnel. Démonstration. On part du fait que 2 est rationnel, et que

Please pass captcha verification before submit form