Caricamento sessione
On formally undecidable propositions of Principia mathematica and related systems