 anaphora |  -->finitism--> |  -->Hilbert, David--> |  Hilbert, David: program in the foundations of mathematics |  logic: classical |  mathematics, philosophy of |  proof theory |  quantifiers and quantification 