for A being Ordinal holds aleph A is infinite