数理論理学
en:
mathematical logic
数学を成り立たせてる演繹推論や
形式論理
を数学的に研究する学問。
メタ数学
。
フツーの数学を やるの には 必要ない。
ref.
公理的集合論はやらなくてもよい | Mathlog
wint.icon
この関係は、科学哲学と科学の関係とパラレルな関係かも知れない。
#論理学