まったくもう

Lean 用語法 多義語 論理
  • postulate 公準
  • prerequisite 要請
  • assumption 仮定
  • antecedent 前件
  • premise 前提〈プロミス〉
  • hypothesis 仮説
  • context 文脈
  • environment 環境