人気の記事一覧

矛盾は何故してはいけないのか?〜矛盾からはすべてが導かれる(爆発律)〜

6か月前

数学(2022/5/6):キューネン本2冊についての記事_2.ZFC集合論について論じる前の下準備(一階述語論理、直観主義論理、(厳格な)構成主義的数学)