[pulisse]

The system isn't being used to prove its own consistency. The consistency is proved in a different, stronger system.