On an extension of finitary mathematics which has not yet been used (0)

by K Gödel