Deutsche Akademie der Naturforscher (ed.), "Ueber zwei Definitionen der Endlichkeit und G. Cantor'sche Sätze", Nova Acta, 71 (6): 303–376 (proof: p.336–344)...
20 KB (2,374 words) - 07:29, 26 November 2024
Hilbert's axioms, and between 1926 and 1959 Tarski gave some complete sets of first order axioms, called Tarski's axioms. Isoperimetric inequality. For three...
35 KB (4,299 words) - 02:09, 22 October 2024