Besonderhede van voorbeeld: -8845667199076201744

Greek

Κατά κάποιον τρόπο, η παρούσα πρόταση αποτελεί μια άλλη οπτική αυτής των Λίντενμπαουμ (Lindenbaum) και Τάρσκι (1936), οι οποίοι απέδειξαν ότι όλες οι λογικές πράξεις του έργου «Principia Mathematica» των Ράσελλ και Γουάιτχεντ (Russell & Whitehead), παραμένουν αναλλοίωτες σε «1 προς 1» μετασχηματισμούς των χωρίων τους στους εαυτούς τους.

English

In some ways the present proposal is the obverse of that of Lindenbaum and Tarski (1936), who proved that all the logical operations of Russell and Whitehead's Principia Mathematica are invariant under one-to-one transformations of the domain onto itself.