# Francis Bessi\`ere Un nouveau regard sur les fondements

## TL;DR

The paper explores a translative approach to foundational mathematics aiming to establish consistency through finitist methods, potentially circumventing G"odel's incompleteness results for traditional deductive systems.

## Contribution

It proposes a novel translative theory for mathematics that can be shown consistent using finitist methods, challenging traditional views on mathematical foundations.

## Key findings

- Introduces a translative theory for foundations
- Shows potential for finitist consistency proof
- Addresses G"odel's incompleteness limitations

## Abstract

We draw attention to a manuscript submitted to the HAL Open Archives by Francis Bessi\`ere, where he tries to base mathematics on a translative theory that could be shown consistant using only finitist methods, thus bypassing the impossibility shown by G\"odel for deductive theories, such as [ZF], for example.