Prædikatslogik: Forskelle mellem versioner

[[Kurt Gödel]] beviste i sin doktorafhandling, at man kan formulere førsteordens prædikatslogik, så den bliver [[Fuldstændighed (logik)|''fuldstændig'']]<ref>Om [[:sv:Fullständighet|''fuldstændighed'']] {{sv sprog}}</ref>.

 

{{reflist|2}}