Gödel's completeness theorem: Revision history

Jump to navigation Jump to search
Template:FlatlistExternal tools:

Template:Endflatlist


For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

9 November 2025

29 January 2025

  • curprev 17:3817:38, 29 January 2025 imported>1234qwer1234qwer4 17,906 bytes +17,906 See also: "Completeness in other logics" section should probably mention some finite model theory