"הוכחת " עקרון הכפל והחיבור
האם זה נכון שאנחנו מקבלים אותם ללא הוכחה פורמאלית
כמעין " עקרונות אמפיריים" ???
את ההכללה כמובן אפשר להראות באינדוקציה אבל את הטענה בבסיסית
אם A ו B זרות אז מספר האיברים באיחוד שלהן הוא סכום האיברים של שתיהן, אפשר להוכיח בעזרת שפת תורת הקבוצות ?
אולי אם מגדירים את הטבעיים בתור קבוצות ?
האם זה נכון שאנחנו מקבלים אותם ללא הוכחה פורמאלית
כמעין " עקרונות אמפיריים" ???
את ההכללה כמובן אפשר להראות באינדוקציה אבל את הטענה בבסיסית
אם A ו B זרות אז מספר האיברים באיחוד שלהן הוא סכום האיברים של שתיהן, אפשר להוכיח בעזרת שפת תורת הקבוצות ?
אולי אם מגדירים את הטבעיים בתור קבוצות ?