Loading Open Internet
    Would an axiom system for finitism, plus an infinite set of indexes, work in practice?