Conversation

Notices

1. よっしー (blhsrwznrghfzpr@qiitadon.com)'s status on Thursday, 30-Aug-2018 16:30:29 JST よっしー

   ペアノの公理では

   • よっしー (blhsrwznrghfzpr@qiitadon.com)'s status on Thursday, 30-Aug-2018 16:54:32 JST よっしー

     • 進捗出していきましょう

     @Kory3 ああなるほど。
     任意の自然数に前者となる自然数または0が存在することの証明ですか。勘違いしてました