「公理系」は「言語」と「公理」と「推論規則」からできています。その中の「公理」が世界を特徴付けて区別しています。（小島寛之『証明と論理に強くなる』技術評論社） 可能世界。命題記号、真理値（真と偽、TとF、1と0） 「ならば」で結んだ論理式は、「…