…したがって,ある公理系によって築いた理論体系内の証明は,他の公理系のもとでの場合に,そのまま適用できるとは限らない。 証明のしかた,すなわち証明法は直接証明法と間接証明法とに分けられる。直接証明法は仮定から出発して,既知の定理などを利用しながら三段論法によって進むものである。…
※「直接証明法」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
4月1日の午前中に、罪のないうそをついて人をかついでも許されるという風習。また、4月1日のこと。あるいは、かつがれた人のこと。四月ばか。万愚節。《季 春》[補説]西洋もしくはインドに始まる風習で、日本...