We prove that the system of strong impredicative NF is not a part of a consistent 3-stratified extension of NF3.
科研之友
微信
新浪微博
Facebook
分享链接
