Anotherversionofformalismisoftenknownasdeductivism.
deductivism