výchozí tvrzení
Následující seznam je výčtem všech nalezených shod, které se pojí k výrazu výchozí tvrzení. Více informací najdete v tabulce níže a nebo pomocí rozšířeného vyhledávání.
- (7) premisa
- (4) teze
Nalezené podoby
(Vše) Na ↓a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z(8) antiteze | protikladné tvrzení (na 8) | v pořádku |
(5) axiom | tvrzení bez důkazů (na 5) | v pořádku |
(5) axiom | tvrzení, které se nedokazuje (na 5) | v pořádku |
(6) axiomy | tvrzení bez důkazu mn. č. (na 6) | v pořádku |