間違いなどあれば教えてくださいこの辺の話はまだしっかりと理解できてない気がするからこの動画を作ったのは自分の理解の確認のためでもある強制法とかも説明できるようになりたいさっき気づいたけど今日はゲーデルの誕生日らしい
http://www.nicovideo.jp/watch/sm43719199