>>12より (IUTに対する批判的レビュー)https://zbmath.org/07317908 (原文引用) In parts II and III, with the exception of the critical Corollary 3.12, the reader will not find any proof that is longer than a few lines; the typical proof reads “The various assertions of Corollary 2.3 follow immediately from the definitions and the references quoted in the statements of these assertions.”, which is in line with the amount of mathematical content. (引用終り)