Chuaqui, R. - Suppes, P.: Free variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof