Gödel's completeness theorem: Revision history

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. Template:Nowrap from current version, Template:Nowrap from preceding version, Template:Nowrap, Template:Nowrap, Template:Nowrap

29 January 2025

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