> proof of infinity This combination of words seems strange. Like: proof of ‘zero’ or proof of ‘left’. All of them have definitions, not proofs. (Qualitativ

> proof of infinity This combination of words seems strange. Like: proof of ‘zero’ or proof of ‘left’. All of them have definitions, not proofs. (Qualitative distinction of different infinity types has a proof though)