Schemat aksjomatu
Z Wikipedii
Schemat aksjomatu jest to pewien nieskończony zbiór aksjomatów, który można jednak w łatwy sposób przedstawić, zwykle w logice wyższego rzędu. W matematyce przeznaczonej dla ludzi nie ma właściwie znaczenia czy traktujemy coś jako aksjomat wyższego rzędu czy jako schemat aksjomatu, jednak czasem chcemy koniecznie ograniczyć rząd logiki, np. żeby dowodzić coś o pewnych systemach formalnych, np. systemach automatycznego dowodzenia twierdzeń.
[edytuj] Zobacz też
| Belgia podwyższa gwarancje na depozyty bankowe do 100 tys. euro |
|
Belgia postanowiła we wtorek podwyższyć pułap gwarancji na depozyty bankowe do 100 tysięcy euro - zapowiedział minister finansów Didier Reynders po spotkaniu z pozostałymi ministrami finansów Unii Europejskiej w Luksemburgu.
|
| Szef Fed sugeruje obniżkę stopy procentowej, ale giełda dołuje |
|
Prezes Zarządu Rezerwy Federalnej, Ben Bernanke, dał do zrozumienia, że Fed może wkrótce obniżyć stopę procentową, aby ożywić gospodarkę USA, przeżywającą kryzys wskutek załamania się systemu finansowego.
|
| Austria podniesie gwarancje na depozyty bankowe do 100 tys. euro |
|
Austria zamierza podnieść gwarancje na depozyty bankowe z 20 tys. euro do 100 tys. - zapowiedział we wtorek austriacki minister finansów Wilhelm Molterer po spotkaniu z pozostałymi ministrami finansów Unii Europejskiej w Luksemburgu. Taka propozycja zostanie przedstawiona w środę austriackiej radzie ministrów.
|
| Bush jest pewien sukcesu planu ratunkowego |
|
Prezydent Stanów Zjednoczonych zapewnił obywateli swego kraju, że zaakceptowany plan ratunkowy pomoże wyjść z kryzysu finansowego. George Bush uważa również, że poprawa sytuacji w Ameryce pozytywnie wpłynie na światowe rynki i sytuacje na giełdach.
|
| Fed: zmniejsza siÄ™ ryzyko zwiÄ…zane z inflacjÄ… |
|
Członkowie Rady Rezerw Federalnych (Fed) stwierdzili, że ryzyko inflacyjne w gospodarce jest coraz mniejsze - napisano w minutes po posiedzeniu Fed 16 września 2008 roku.
|