他の回はこちらから。 今回は私の担当ではないのでゆるく。 規則一般についての注意 四種の規則が出てくる。 formation（形成） introduction（導入） elimination（除去） equality（等号） 導入と除去は自然演繹と同じようなものである（とマーティン=レー…