Axiomy (Zásady -- common notions) - pokyny k evidencím
- Martin Vinkler
Common notion 1. Things which equal the same thing also equal one another. Common notion 2. If equals are added to equals, then the wholes are equal. Common notion 3. If equals are subtracted from equals, then the remainders are equal. Common notion 4. Things which coincide with one another equal one another. Common notion 5. The whole is greater than the part.