6.1265

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