>>943
＞私は今数理論理学から公理的集合論までの数学の基礎をコンピュータ上で構築する試みを行っています。
論理というのは人間の外にある「客観的」なものではなく、人間の遺伝子に組み込まれた「主観的」あるいは「人間的」なものだという感覚を持っています