背理法では
矛盾律¬(p∧¬p)という性質を使っているが、
これさえ踏まえておけば自由に数学を組み立てることが
出来るのであろうか？