※この記事は「記事25」実用的な（意味のある）演繹システムは、その一部としてプログラミングシステムを含んでいます。プログラミングシステムはプログラミング言語を持ちます。プログラミング言語には、完全に抽象的・概念的な数学的形式言語（例：ラムダ計…