数学ってのは現在は
一階論理を改造したZFCとかいうシステムとモデルVで作られている
ところがVの真理判定能力は巨大でZFCの無矛盾性すら判定対象となってしまう
ところがこれはZFCから出ない
ゆえに人の知性の限界に至ったのである