generated at
分岐階型理論
ramified type-theory
分岐タイプ理論、分岐階型理論

type
order
同一type内の区別をする

還元公理
http://pweb.sophia.ac.jp/process/society/tetugaku/paradox.html
ベリーのパラドックス
日本語、「19文字以内で記述できない最小の自然数」
https://ja.wikipedia.org/wiki/ベリーのパラドックス
英語、「The smallest positive integer not definable in under sixty letters」
https://en.wikipedia.org/wiki/Berry_paradox


哲学談話室 悪循環の原理
http://asonosakan.blogspot.com/2014/01/blog-post.html
http://www.ivis.co.jp/text/20140212.pdf
http://pweb.sophia.ac.jp/process/society/tetugaku/paradox2.html
https://www.metsoc.jp/tenki/pdf/1983/1983_03_0114.pdf