25/12/09 22:19:04.13 4q24jWBq.net
>>473
>数学的帰納法の原理は、二階述語論理では単一の公理として定式化できますが、一階述語論理では「公理図式」として無数の公理を必要とします。
この文章は少しおかしい。
一階述語論理では数学的帰納法の原理に無数の公理を必要とするのではなくそもそも数学的帰納法の原理を表現できない。
一階で無数の公理として表現するのは数学的帰納法。
コピペバカにはちんぷかんぷんだろうね。
25/12/09 22:19:04.13 4q24jWBq.net
>>473
>数学的帰納法の原理は、二階述語論理では単一の公理として定式化できますが、一階述語論理では「公理図式」として無数の公理を必要とします。
この文章は少しおかしい。
一階述語論理では数学的帰納法の原理に無数の公理を必要とするのではなくそもそも数学的帰納法の原理を表現できない。
一階で無数の公理として表現するのは数学的帰納法。
コピペバカにはちんぷかんぷんだろうね。