O Niezależności Definicji Skończoności W Systemie Logiki - Ontify