18/11/12 15:24:08.85 4ddzwlA+.net
>>968
＞完全性定理とか、集合論的な観点からしても、この演繹があってるとか
その辺は数理論理学者が保証してくれますので、
普通の数学者は数理論理学者が構築した論理体系の上で数学を行うだけです。
まあ、多少は知っておいても良いかとは思いますが。
＞メールかskypeあたりでやり取りしませんか？
とりあえずメール送りました。
18/11/12 15:24:08.85 4ddzwlA+.net
>>968
＞完全性定理とか、集合論的な観点からしても、この演繹があってるとか
その辺は数理論理学者が保証してくれますので、
普通の数学者は数理論理学者が構築した論理体系の上で数学を行うだけです。
まあ、多少は知っておいても良いかとは思いますが。
＞メールかskypeあたりでやり取りしませんか？
とりあえずメール送りました。