1 文書を見つけるための辞書。

• metamathematics
• メタ数学
• the logical analysis of mathematical reasoning
• 数学的な推論の論理的な分析