Wkład użytkownika
Z Studia Informatyczne
Dla użytkownika Kubakozik dyskusja blokady przesłane pliki rejestry
- 07:05, 5 paź 2009 różn. hist. +16 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Podstawienia
- 10:13, 11 wrz 2009 różn. hist. +4 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Przykład teorii w rachunku predykatów
- 10:13, 11 wrz 2009 różn. hist. +1108 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Przykład teorii w rachunku predykatów
- 10:35, 11 sie 2009 różn. hist. +409 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów dodanie generalizacji aksjomatów
- 18:23, 22 paź 2006 różn. hist. +2 m Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 21:01, 9 paź 2006 różn. hist. +1 m Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Aksjomatyka Rachunku Predykatów
- 20:59, 9 paź 2006 różn. hist. +3 m Logika i teoria mnogości/Wykład 2: Rachunek zdań →Aksjomaty
- 22:15, 6 paź 2006 różn. hist. +793 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Język logiki zdaniowej
- 08:28, 30 wrz 2006 różn. hist. +1433 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Aksjomatyka Rachunku Predykatów
- 12:32, 29 wrz 2006 różn. hist. +1 m Logika i teoria mnogości →Moduły
- 20:07, 25 wrz 2006 różn. hist. 0 m Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Modele
- 20:03, 25 wrz 2006 różn. hist. +10 263 m Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Modele
- 19:20, 25 wrz 2006 różn. hist. -594 m Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Modele
- 19:09, 25 wrz 2006 różn. hist. +664 m Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Modele
- 18:46, 25 wrz 2006 różn. hist. +3415 m Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Aksjomatyka Rachunku Predykatów
- 18:42, 25 wrz 2006 różn. hist. +27 m Logika i teoria mnogości/Wykład 2: Rachunek zdań →Twierdzenie o pełności
- 18:34, 25 wrz 2006 różn. hist. -2 m Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Podstawienia
- 18:33, 25 wrz 2006 różn. hist. +874 m Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Podstawienia
- 18:24, 25 wrz 2006 różn. hist. +74 m Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Zmienne wolne i związane
- 18:23, 25 wrz 2006 różn. hist. -5 m Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Kwantyfikatory ograniczone
- 18:21, 25 wrz 2006 różn. hist. -37 m Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Język rachunku predykatów
- 18:05, 25 wrz 2006 różn. hist. +723 m Logika i teoria mnogości/Wykład 12: Twierdzenie o indukcji. Liczby porządkowe. Zbiory liczb porządkowych. Twierdzenie o definiowaniu przez indukcje pozaskończoną →Liczby porządkowe
- 09:59, 21 wrz 2006 różn. hist. +667 m Logika i teoria mnogości/Wykład 12: Twierdzenie o indukcji. Liczby porządkowe. Zbiory liczb porządkowych. Twierdzenie o definiowaniu przez indukcje pozaskończoną →Zasada indukcji
- 09:49, 21 wrz 2006 różn. hist. +35 m Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →Twierdzenie Ernsta Zermelo
- 09:35, 21 wrz 2006 różn. hist. -6 m Logika i teoria mnogości/Wykład 12: Twierdzenie o indukcji. Liczby porządkowe. Zbiory liczb porządkowych. Twierdzenie o definiowaniu przez indukcje pozaskończoną →Dobre uporządkowanie
- 09:31, 21 wrz 2006 różn. hist. +260 m Logika i teoria mnogości/Wykład 12: Twierdzenie o indukcji. Liczby porządkowe. Zbiory liczb porządkowych. Twierdzenie o definiowaniu przez indukcje pozaskończoną →Dobre uporządkowanie
- 09:15, 21 wrz 2006 różn. hist. +2 m Logika i teoria mnogości/Wykład 12: Twierdzenie o indukcji. Liczby porządkowe. Zbiory liczb porządkowych. Twierdzenie o definiowaniu przez indukcje pozaskończoną →Wprowadzenie
- 09:14, 21 wrz 2006 różn. hist. +132 Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →Aksjomat wyboru i twierdzenia mu równoważne
- 11:13, 18 wrz 2006 różn. hist. +6 m Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →Podsumowanie
- 11:10, 18 wrz 2006 różn. hist. +99 m Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →Twierdzenia wymagające aksjomatu wyboru
- 10:58, 18 wrz 2006 różn. hist. +25 m Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →Aksjomat wyboru i twierdzenia mu równoważne
- 10:04, 18 wrz 2006 różn. hist. -1 m Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →Zbiory dobrze uporządkowane
- 10:03, 18 wrz 2006 różn. hist. +1 m Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →Wstęp
- 19:56, 17 wrz 2006 różn. hist. +28 m Logika i teoria mnogości/Wykład 10.2 →Twierdzenie Bourbaki- Witt ostatnia
- 19:50, 17 wrz 2006 różn. hist. +515 m Logika i teoria mnogości/Wykład 10: Zbiory uporządkowane. Zbiory liniowo uporządkowane. Pojęcia gęstości i ciągłości →Zbiory liniowo uporządkowane
- 19:26, 17 wrz 2006 różn. hist. +113 m Logika i teoria mnogości/Wykład 10: Zbiory uporządkowane. Zbiory liniowo uporządkowane. Pojęcia gęstości i ciągłości →Zbiory uporządkowane
- 19:04, 17 wrz 2006 różn. hist. +39 m Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Ćwiczenia
- 18:55, 17 wrz 2006 różn. hist. +856 m Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Zbiory mocy kontinuum
- 18:13, 17 wrz 2006 różn. hist. +1436 m Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Zbiory przeliczalne
- 18:06, 17 wrz 2006 różn. hist. +30 m Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Aksjomat Regularności
- 17:43, 17 wrz 2006 różn. hist. +33 m Logika i teoria mnogości/Wykład 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha →Iniekcja i suriekcja
- 17:35, 17 wrz 2006 różn. hist. +918 m Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Teoria mocy
- 17:27, 17 wrz 2006 różn. hist. +35 m Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →Twierdzenia wymagające aksjomatu wyboru
- 17:16, 17 wrz 2006 różn. hist. +34 m Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →Twierdzenia dotyczące zbiorów
- 17:09, 17 wrz 2006 różn. hist. 0 m Logika i teoria mnogości →Moduły
- 13:30, 17 wrz 2006 różn. hist. +155 m Logika i teoria mnogości/Wykład 8: Konstrukcje liczbowe, liczby całkowite, wymierne, konstrukcja Cantora liczb rzeczywistych: działania i porządek →Konstrukcja Cantora liczb rzeczywistych
- 13:02, 17 wrz 2006 różn. hist. +213 m Logika i teoria mnogości/Wykład 8: Konstrukcje liczbowe, liczby całkowite, wymierne, konstrukcja Cantora liczb rzeczywistych: działania i porządek →Konstrukcja Cantora liczb rzeczywistych
- 13:01, 17 wrz 2006 różn. hist. 0 m Logika i teoria mnogości/Wykład 8: Konstrukcje liczbowe, liczby całkowite, wymierne, konstrukcja Cantora liczb rzeczywistych: działania i porządek →Porządek ułamków.
- 12:59, 17 wrz 2006 różn. hist. +33 m Logika i teoria mnogości/Wykład 8: Konstrukcje liczbowe, liczby całkowite, wymierne, konstrukcja Cantora liczb rzeczywistych: działania i porządek →Porządek ułamków.
- 12:40, 17 wrz 2006 różn. hist. +88 m Logika i teoria mnogości/Wykład 8: Konstrukcje liczbowe, liczby całkowite, wymierne, konstrukcja Cantora liczb rzeczywistych: działania i porządek →Liczby wymierne
- 12:22, 17 wrz 2006 różn. hist. +34 m Logika i teoria mnogości/Wykład 8: Konstrukcje liczbowe, liczby całkowite, wymierne, konstrukcja Cantora liczb rzeczywistych: działania i porządek →Operacje na <math>\displaystyle \mathbb{Z}</math>
- 12:16, 17 wrz 2006 różn. hist. +54 m Logika i teoria mnogości/Wykład 8: Konstrukcje liczbowe, liczby całkowite, wymierne, konstrukcja Cantora liczb rzeczywistych: działania i porządek →Liczby całkowite
- 12:01, 17 wrz 2006 różn. hist. +96 m Logika i teoria mnogości/Wykład 7: Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje →Operacje na liczbach naturalnych
- 11:46, 17 wrz 2006 różn. hist. +44 m Logika i teoria mnogości/Wykład 7: Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje →Definiowanie przez indukcję
- 11:34, 17 wrz 2006 różn. hist. +38 m Logika i teoria mnogości/Wykład 7: Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje →Porządek na liczbach naturalnych
- 11:27, 17 wrz 2006 różn. hist. +34 m Logika i teoria mnogości/Wykład 7: Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje →Własności liczb naturalnych
- 11:18, 17 wrz 2006 różn. hist. +5 m Logika i teoria mnogości/Wykład 7: Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje →Indukcja matematyczna
- 11:17, 17 wrz 2006 różn. hist. -1 m Logika i teoria mnogości/Wykład 7: Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje →Zbiory induktywne
- 11:12, 17 wrz 2006 różn. hist. +190 m Logika i teoria mnogości/Wykład 7: Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje →Wstęp
- 21:39, 16 wrz 2006 różn. hist. -36 m Logika i teoria mnogości/Wykład 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha →Twierdzenie Knastra-Tarskiego
- 21:24, 16 wrz 2006 różn. hist. 0 m Logika i teoria mnogości/Wykład 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha →Produkt uogólniony
- 21:23, 16 wrz 2006 różn. hist. +162 m Logika i teoria mnogości/Wykład 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha →Produkt uogólniony
- 21:18, 16 wrz 2006 różn. hist. +2 m Logika i teoria mnogości/Wykład 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha →Twierdzenie o faktoryzacji
- 21:15, 16 wrz 2006 różn. hist. +39 m Logika i teoria mnogości/Wykład 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha →Iniekcja i suriekcja
- 21:02, 16 wrz 2006 różn. hist. +140 m Logika i teoria mnogości/Wykład 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha →Obrazy i przeciwobrazy
- 20:56, 16 wrz 2006 różn. hist. +27 m Logika i teoria mnogości/Wykład 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha →Funkcja jako relacja
- 20:51, 16 wrz 2006 różn. hist. -6 m Logika i teoria mnogości/Wykład 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha →Wprowadzenie
- 18:11, 16 wrz 2006 różn. hist. +254 Logika i teoria mnogości/Wykład 5.2 →Iloczyn kartezjański i podobne konstrukcje
- 17:56, 16 wrz 2006 różn. hist. +3 Logika i teoria mnogości/Wykład 5.2
- 17:50, 16 wrz 2006 różn. hist. +229 m Logika i teoria mnogości/Wykład 5: Para uporządkowana, iloczyn kartezjański, relacje, domykanie relacji, relacja równoważności, rozkłady zbiorów →Relacje równoważności
- 17:14, 16 wrz 2006 różn. hist. -56 m Logika i teoria mnogości/Wykład 5: Para uporządkowana, iloczyn kartezjański, relacje, domykanie relacji, relacja równoważności, rozkłady zbiorów →Relacje
- 17:09, 16 wrz 2006 różn. hist. +5 Logika i teoria mnogości/Wykład 5: Para uporządkowana, iloczyn kartezjański, relacje, domykanie relacji, relacja równoważności, rozkłady zbiorów →Iloczyn kartezjański
- 17:02, 16 wrz 2006 różn. hist. +53 m Logika i teoria mnogości/Wykład 5: Para uporządkowana, iloczyn kartezjański, relacje, domykanie relacji, relacja równoważności, rozkłady zbiorów →Para uporządkowana
- 16:49, 16 wrz 2006 różn. hist. +6 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Podsumowanie
- 16:48, 16 wrz 2006 różn. hist. +6 m Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Aksjomat Wyboru
- 16:44, 16 wrz 2006 różn. hist. -7 m Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Aksjomat Regularności
- 16:43, 16 wrz 2006 różn. hist. +235 m Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Aksjomat Regularności
- 16:36, 16 wrz 2006 różn. hist. +14 m Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Schemat Aksjomatu Zastępowania
- 16:31, 16 wrz 2006 różn. hist. +20 m Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Aksjomat Zbioru Potęgowego
- 16:26, 16 wrz 2006 różn. hist. +7 m Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Aksjomat Nieskończoności
- 16:23, 16 wrz 2006 różn. hist. +85 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Schemat aksjomatu wyróżniania
- 16:13, 16 wrz 2006 różn. hist. +24 m Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Aksjomat Sumy
- 16:02, 16 wrz 2006 różn. hist. +64 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Aksjomat Pary
- 15:47, 16 wrz 2006 różn. hist. +2 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Aksjomat zbioru pustego
- 15:45, 16 wrz 2006 różn. hist. +10 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Podstawowe definicje
- 15:42, 16 wrz 2006 różn. hist. -1 m Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Wstęp
- 15:42, 16 wrz 2006 różn. hist. +4 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Wstęp
- 15:37, 16 wrz 2006 różn. hist. +45 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Logika intuicjonistyczna
- 15:27, 16 wrz 2006 różn. hist. +139 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Postacie normalne
- 14:51, 16 wrz 2006 różn. hist. -7246 Logika i teoria mnogości/Wykład 10: Zbiory uporządkowane. Zbiory liniowo uporządkowane. Pojęcia gęstości i ciągłości →Twierdzenie Bourbaki- Witt
- 14:50, 16 wrz 2006 różn. hist. +123 Logika i teoria mnogości →Moduły
- 14:50, 16 wrz 2006 różn. hist. +7244 N Logika i teoria mnogości/Wykład 10.2
- 14:37, 16 wrz 2006 różn. hist. -1 Logika i teoria mnogości/Wykład 5.2 →Iloczyn kartezjański i podobne konstrukcje
- 14:31, 16 wrz 2006 różn. hist. +63 Logika i teoria mnogości/Wykład 5: Para uporządkowana, iloczyn kartezjański, relacje, domykanie relacji, relacja równoważności, rozkłady zbiorów →Iloczyn kartezjański
- 14:29, 16 wrz 2006 różn. hist. -5174 Logika i teoria mnogości/Wykład 5: Para uporządkowana, iloczyn kartezjański, relacje, domykanie relacji, relacja równoważności, rozkłady zbiorów →Iloczyn kartezjański i podobne konstrukcje
- 14:28, 16 wrz 2006 różn. hist. +147 Logika i teoria mnogości →Moduły
- 14:27, 16 wrz 2006 różn. hist. -5172 Logika i teoria mnogości/Wykład 5.2: Iloczyn kartezjański(dla dociekliwych) →Iloczyn kartezjański i podobne konstrukcje ostatnia
- 14:26, 16 wrz 2006 różn. hist. +5172 N Logika i teoria mnogości/Wykład 5.2
- 14:25, 16 wrz 2006 różn. hist. +5172 N Logika i teoria mnogości/Wykład 5.2: Iloczyn kartezjański(dla dociekliwych)
- 12:42, 16 wrz 2006 różn. hist. +332 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 12:33, 16 wrz 2006 różn. hist. +968 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Matryca boolowska
- 11:48, 16 wrz 2006 różn. hist. +54 m Logika i teoria mnogości/Wykład 2: Rachunek zdań →Aksjomatyka Klasycznego Rachunku Zdań
- 11:41, 16 wrz 2006 różn. hist. +220 m Logika i teoria mnogości/Wykład 2: Rachunek zdań →Język logiki zdaniowej
- 11:32, 16 wrz 2006 różn. hist. -33 m Logika i teoria mnogości/Wykład 2: Rachunek zdań →Wprowadzenie
- 11:06, 16 wrz 2006 różn. hist. +3 m Logika i teoria mnogości/Wykład 1: Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost →"Naiwne" dowody niewprost
- 11:05, 16 wrz 2006 różn. hist. +3 m Logika i teoria mnogości/Wykład 1: Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost →"Naiwne" dowody niewprost: korekty językowe
- 11:04, 16 wrz 2006 różn. hist. +31 Logika i teoria mnogości/Wykład 1: Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost →"Naiwna" indukcja: korekty językowe
- 10:37, 16 wrz 2006 różn. hist. +35 Logika i teoria mnogości/Wykład 1: Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost →"Naiwna" teoria mnogości: korekty językowe
- 10:20, 16 wrz 2006 różn. hist. +2 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Aksjomatyka Rachunku Predykatów
