T axióma

Példa: Konkrét axióma és következtetes'i szabályrendszer az itéletkalkuluson belül.
Lemma: (i) A fenti axiómák tautológiák.
(ii) A fenti következtetési szabályok feltételhalmazának a szabály konkluziója egy logikai következménye.

A teljes indukció módszerét vagy bizonyítás nélkül alapelvként elfogadjuk, vagy belátjuk tételként néhány elfogadott axióma felhasználásával. A következő állítások a teljes indukció tipikus alkalmazásai: ...

Egy konkrét alkalmazást úgy is lehet tekinteni, hogy az adott matematikai rendszer axiómáit kiegészítjük az alkalmazás által megadott peremfeltételekkel, azokat is eleve igaznak tekintve. Ekkor a kérdés úgy is felvethető, hogy e bővített ...

Hiszen végtelen halmaz éppen az, amelynek van az egésszel ekvivalens rész-halmaza, amelyre tehát nem érvényes az idézett axióma.

See also: Axióma, Bizonyítás, Halmaz, Rendszer, Természetes szám