Słowa kluczowe: Finitism, potential infinite, model theory, first order logic, reflection principle, non-generator, infinitary algebra, Disjoint paths, separating set, inductive definition, entailment, decidability, model completeness, Frobenius map, polynomial rings, rational functions, continuous logic, Lindström's theorem, first order theory