Автор работы: Пользователь скрыл имя, 12 Февраля 2014 в 18:08, реферат
Бұл аксиомалар (заңдар) саны шектеулі болады. Математика салаларының аксиомалар жүйесіне үш талап қойылады: қайшылықсыз, тәуелсіз, толық болуы.
1. Егер жүйенің аксиомаларынан логикалық жолмен бір-біріне қарсы пікір шығара алмайтын болсақ, жүйені қайшылықсыз дейміз.
2. Егер жүйенің аксиомаларының бірі басқаларының салдары болмаса жүйені тәуелсіз дейміз.
3. Егер жүйені бұрынғы аксиомаларға қайшы келмейтін аксиомамен толықтыруға болмаса, жүйені толық дейміз.