10:["$","div",null,{"className":"Post-module__aBOVGG__post","style":{"display":"flex","flexDirection":"column","alignItems":"center","gap":"8px","flex":"1","width":"100%","padding":"12px"},"children":[["$","div",null,{"className":"$undefined","style":{"display":"flex","gap":"0.4rem","flexWrap":"wrap","width":"100%"},"children":[false,[["$","a","EB76",{"href":"/EB76","className":"Post-module__aBOVGG__fg","style":{},"children":"背理法"}],["$","a","2261",{"href":"/2261","className":"Post-module__aBOVGG__fg","style":{},"children":"inductive proof"}],["$","a","6CEB",{"href":"/6CEB","className":"Post-module__aBOVGG__fg","style":{},"children":"proof by induction"}]]]}],["$","article",null,{"className":"article","children":[["$","div",null,{"className":"$undefined","style":{"display":"flex","justifyContent":"space-between","flexWrap":"wrap","width":"100%"},"children":[["$","h2",null,{"style":{"margin":"0.2rem"},"children":["$","a",null,{"href":"/6196","children":"『情報数学 I 第十二回: 述語論理』"}]}],["$","div",null,{"className":"$undefined","style":{"display":"flex","justifyContent":"end","alignItems":"center","flex":"1","textAlign":"right","whiteSpace":"nowrap"},"children":["$","div",null,{"children":"2024/4/4 14:36:00"}]}]]}],["$","div",null,{"className":"article_body","dangerouslySetInnerHTML":{"__html":"

https://www.sw.it.aoyama.ac.jp/2007/Math1/lecture12.html\n

"}}]]}],["$","div",null,{"className":"$undefined","style":{"display":"flex","gap":"0.4rem","flexWrap":"wrap","width":"100%"},"children":[["$","a","",{"href":"/","className":"Post-module__aBOVGG__bg","style":{"opacity":0},"children":"あれ"}],[]]}]]}]