6.1265 Si può sempre concepire la logica in modo tale che ogni proposizione sia la propria dimostrazione.