Muze.
Citace: Haskell Guru 13. 03. 2018, 18:57:55Muze. Nemůže.
Citace: Jester 13. 03. 2018, 19:06:30Citace: Haskell Guru 13. 03. 2018, 18:57:55Muze. Nemůže.Mozna
uvažuju teorie v typovaném λ-kalkulu, může být množina všech pravdivých výrazů (vzhledem k modelům) nespočetná?