分からない問題はここに書いてね435

分からない問題はここに書いてね435 at MATH

分からない問題はここに書いてね435 - 暇つぶし2ch406:名無しさん＠そうだ選挙に行こう！ Go to vote!
17/10/22 12:46:43.43 yZxBAFap.net
>>393
論理を形式化して数学の対象として扱うことができること
それ自体が素晴らしいことなのです
メタレベルにおいて解釈することで、数学で用いる論理それ自体の正当性も保証され得るわけです

次ページ

続きを表示

1を表示