Мне кажется, что математическая формализация - это та, кототорая способствует применению математики. Если просто стремиться перевести биологию на некий формальный язык, то математика тут может быть и не причем. Правда, тогда возникнет другой вопрос - зачем нужен этот формальный язык?
То есть, если после формализации знания предполагается получать дедуктивно, то без математики, наверное, трудно. Если же формализация служит лишь для накопления и упорядочивания знаний, то тут математика не очень причем.