teoria dowodu 1
rzeczownikdomena: myślenierejestr: specj.
Słowosieć [ver.5.0]
PolskiDefinicja
dział logiki matematycznej zajmujący się analizą pojęcia dowodu oraz możliwych sposobów używania go w rozważaniach matematycznych.
meronimia: część
logika matematyczna 1
rzeczownik
dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki.
holonimia: część
logika matematyczna 1
rzeczownik
dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki.
PolskiZmień ustawienia, aby pokazać relacje ukryte przez filtr
