ギャップというよりそもそも数学の文章として成立するための基礎論すらない。数学的証明に変換する変換先が定義されてない。どこそこわからないんじゃなくて丸ごと全部変換できない。