The impossibility of finitism: from SSK to ESK? · Study