＞「形式的証明の範疇におさまらないような非形式的な証明概念」なんてものの具体例があるの？
知られていないというより、これこそが疑似問題と言うべきか
そもそも、形式的証明と比較するために数学の俎上に載せようにも、それができないから非形式的概念と呼んでいるわけだし