エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

2020-12-27から1日間の記事一覧

エレファントな整数論(5)

自然数の乗法 乗法 を と帰納的に定義します。乗法の演算子を省略して を と書くことができるものとします。乗法は加法に優先するとしてかっこを省略することができるものとします。 のとき となるので、帰納法により (M1) 任意の に対して が成り立ちます。…