Wikipedysta:Stotr/todo
Z Wikipedii
Moja lista rzeczy do zrobienia:
Czerwone linki ktore pozostawilem po sobie a ktore dobrze by bylo wkrótce zaniebieścić:
- Grupa liniowo uporządkowana
- Aksjomat o wyborach zależnych
- Topologia ogólna
- Miara Radona
- Algebra Lindenbauma-Tarskiego
Sprawdź/popraw/etc:
- zintegruj
Uporządkuj M-wartościowanie, Wartość termu przy M-wartościowaniu, Prawdziwość formuły zdaniowej, Spełnialność formuły zdaniowej, Spełnianie formuły zdaniowej, Sprzeczny zbiór formuł zdaniowych, Teoria pierwszego rzędu, Teza klasycznego rachunku predykatów (redir???), Twierdzenie o dedukcji, Wartościowanie (logika), Wynikanie logiczne, Zbiór formuł zupełny z uwagi na język, Zbiór wszystkich konsekwencji logicznych zbioru formuł zdaniowych, Zbiór wszystkich konsekwencji zbioru formuł zdaniowych
- Niesprzeczność
- Metalogika
- Prawa rachunku kwantyfikatorów
- Metryka Hausdorffa
- twierdzenie Baire'a
- zbiór
- Baza (topologia)
- relacja równoważności
- relacja
- Rachunek zdań
- pradziadek!!!!
- Ciało uporządkowane
- Przestrzeń dualna
- Eduard Čech
- Aksjomat konstruowalności
- Grupa wolna
- Guido Fubini
Czerwone linki pozostawione przez innych lub sugestie innych:
- alternatywna teoria mnogości Vopenki
- Petr Vopěnka
